Conditional partial order graphs and dynamically reconfigurable control synthesis

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 1142-1147

  Mokhov, Andrey ^a   Yakovlev, Alex ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; DATA COMMUNICATION SYSTEMS; DIGITAL CIRCUITS; DIGITAL COMMUNICATION SYSTEMS; GRAPH THEORY; INDUSTRIAL ENGINEERING; PROGRAMMING THEORY; TESTING;

ASYNCHRONOUS SYSTEMS; CONTROL PATHS; CONTROL SYNTHESIS; DATA CODING; DIGITAL SYSTEMS; FORMAL MODELING; GENERIC ARCHITECTURES; OPTIMISATION TECHNIQUES; PARAMETRIC VARIATIONS; PARTIAL ORDERS; RECONFIGURABLE CONTROL; RECONFIGURABLE CONTROLLERS; SPEED-INDEPENDENT; SYSTEM BEHAVIOUR;

COORDINATION REACTIONS;

EID: 49749095992     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484832     Document Type: Conference Paper

References (10)

1. Andrew Bardsley and Doug Edwards. The Balsa asynchronous circuit synthesis system. In Forum on Design Languages, 2000.
2. G. Birkhoff. Lattice Theory. Third Edition, American Mathematical Society, Providence, RI, 1967.
3. J. Cortadella et al. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems, E80-D(3):315-325, 1997.
4. G. Martin L. Lavagno, L. Scheffer. Electronic Design Automation For Integrated Circuits Handbook. 2006.
5. A. Mokhov and A. Yakovlev. Transition sequence encoder. Technical report, Newcastle University, 2006.
6. Steven Nowick. Automatic Synthesis of Burst-Mode Asynchronous Controllers. PhD thesis, Stanford University, 1993.
7. Danil Sokolov and Alex Yakovlev. Clock-less circuits and system synthesis. In IEE Proceedings, Computers and Digital Techniques, 2005.
8. Jens Sparsø and Steve Furber. Principles of Asynchronous Circuit Design: A Systems Perspective. Kluwer Academic Publishers, 2001.
9. Kees van Berkel, Mark Josephs, and Steven Nowick. Scanning the technology: applications of asynchronous circuits. In Proceedings of the IEEE, 1999.
10. K. van Berkel et al. The VLSI-programming language Tangram and its translation into handshake circuits. In European Conference on Design Automation, 1991.