Synthesis of Self-Timed Circuits
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- An algebraic model for asynchronous circuits verificationIEEE Transactions on Computers, 1988
- Compiling communicating processes into delay-insensitive VLSI circuitsDistributed Computing, 1986
- Trace Theory and VLSJ DesignLecture Notes in Computer Science, 1985
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Towards a Theory of Universal Speed-Independent ModulesIEEE Transactions on Computers, 1974
- Petri nets and speed independent designCommunications of the ACM, 1973
- Marked directed graphsJournal of Computer and System Sciences, 1971