Sökning: id:"swepub:oai:DiVA.org:hh-20466" >
Modeling and Valida...
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Eindhoven University of Technology, Eindhoven, The Netherlands
-
- Le Guernic, Paul (författare)
- INRIA/IRISA, Rennes, France
-
- Talpin, Jean-Pierre (författare)
- INRIA/IRISA, Rennes, France
-
visa fler...
-
- Shukla, Sandeep Kumar (författare)
- Virginia Polytechnic Institute and State University, Blacksburg, Virginia, USA
-
- Basten, Twan (författare)
- Eindhoven University of Technology, Eindhoven, The Netherlands
-
visa färre...
-
(creator_code:org_t)
- Los Alamitos, CA : IEEE Computer Society, 2004
- 2004
- Engelska.
-
Ingår i: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’04), Volume 1. - Los Alamitos, CA : IEEE Computer Society. - 0769520855 ; , s. 384-389
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using synchronous simulation and model-checking toolkits. Our approach can be summarized as automatic transformation of a design consisting of two asynchronously composed synchronous components into a fully synchronous multi-clock model preserving behavioral equivalence. The ultimate goal of this research is to provide the ability to model and build GALS systems in a fully synchronous design framework and deploy it on an asynchronous network preserving all properties of the system proven in the synchronous framework.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas