Specification, Verification and Synthesis Globally Asynchronous - Locally Synchronous (GALS) Systems and Circuits


In this project globally asynchronous - locally synchronous (GALS) systems, a special kind of circuits (GALS circuit) are being modeled.
For that purpose a model will be developed that describes module and wrapper (especially the transition between module and wrapper). Our model is a Petri net, because Petri nets can model synchronous systems by sequential runs and asynchronous systems by distributed runs.

Principal Investigators
Reisig, Wolfgang Prof. Dr. rer. nat. habil. (Details) (Software Engineering and Theory of Programming I)

Duration of Project
Start date: 06/2004
End date: 05/2006

Last updated on 2020-10-03 at 16:44