Modular Synthesis of Timed Circuits Using Partial Order Reduction.
Tomohiro YonedaEric MercerChris MyersPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2002)
Keyphrases
- partial order reduction
- model checking
- petri net
- logic synthesis
- analog circuits
- asynchronous circuits
- timed automata
- finite state machines
- high speed
- colored petri nets
- modular neural networks
- delay insensitive
- databases
- fault diagnosis
- digital circuits
- quantum computing
- modular structure
- analog vlsi
- modular neural network
- low cost
- neural network
- information systems
- program synthesis
- computer vision