Modular Synthesis of Timed Circuits using Partial Order Reduction.
Eric MercerChris J. MyersTomohiro YonedaPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- partial order reduction
- model checking
- petri net
- analog circuits
- logic synthesis
- timed automata
- asynchronous circuits
- high speed
- delay insensitive
- digital circuits
- finite state machines
- neural network
- modular neural networks
- program synthesis
- heuristic search
- circuit design
- modular structure
- colored petri nets
- multi valued
- expert systems
- texture synthesis
- databases
- logic circuits
- quantum computing
- social networks
- analog vlsi
- vlsi circuits
- high level synthesis
- derivation rules