Verification of conditional partial order graphs

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2008, Pages 128-137

  Mokhov, Andrey ^a   Yakovlev, Alex ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; INFORMATION THEORY; MARINE BIOLOGY; PETRI NETS;

INTERNATIONAL CONFERENCES; PARTIAL ORDERS; SYSTEM DESIGNS;

GRAPH THEORY;

EID: 51549108100     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2008.4574604     Document Type: Conference Paper

References (17)

1. MSP430x4xx Family User's Guide.
2. Andrew Bardsley and Doug Edwards. The Balsa asynchronous circuit synthesis system. In Forum on Design Languages, 2000.
3. G. Birkhoff. Lattice Theory. Third Edition, American Mathematical Society, Providence, RI, 1967.
4. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. MIT Press, 2001.
5. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems, E80-D(3):315-325, 1997.
6. J. Esparza. Decidability and Complexity of Petri Net Problems - an Introduction. In Lectures on Petri Nets I: Basic Models, W. Reisig and G. Rozenberg (Eds.)., 1998.
7. Victor Khomenko, Maciej Koutny, and Alex Yakovlev. Detecting State Coding Conflicts in STG Unfoldings Using SAT. In Proceedings of the Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003.
8. Luciano Lavagno, Louis Scheffer, and Grant Martin. Electronic Design Automation For Integrated Circuits Handbook. 2006.
9. Art Lew. Computer Science: A Mathematical Introduction. Prentice-Hall, 1985.
10. Andrey Mokhov and Alex Yakovlev. Transition Sequence Encoder. Technical report, University of Newcastle upon Tyne, September 2006.
11. Andrey Mokhov and Alex Yakovlev. Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. In Proceedings of Design, Automation and Test in Europe (DATE) Conference, 2008.
12. Steven Nowick. Automatic Synthesis of Burst-Mode Asynchronous Controllers. PhD thesis, Stanford University, 1993.
13. Danil Sokolov and Alex Yakovlev. Clock-less circuits and system synthesis. In IEE Proceedings, Computers and Digital Techniques, 2005.
14. Jens Sparsø and Steve Furber. Principles of Asynchronous Circuit Design: A Systems Perspective. Kluwer Academic Publishers, 2001.
15. Kees van Berkel, Mark Josephs, and Steven Nowick. Scanning the technology: applications of asynchronous circuits. In Proceedings of the IEEE, 1999.
16. Kees van Berkel, Joep Kessels, Marly Roncken, Ronald Saeijs, and Frits Schalij. The VLSIprogramming language Tangram and its translation into handshake circuits. In Proc. European Conference on Design Automation (EDAC), 1991.
17. Ingo Wegener. The Complexity of Boolean Functions. Johann Wolfgang Goethe-Universitat, 1987.