Verification of Desynchronized Circuits.
Sudarshan K. SrinivasanRaj S. KattiPublished in: ISCAS (2009)
Keyphrases
- asynchronous circuits
- model checking
- high speed
- information systems
- concurrent systems
- tunnel diode
- real time
- circuit design
- search algorithm
- website
- search engine
- formal methods
- artificial intelligence
- analog circuits
- learning algorithm
- logic circuits
- neural network
- delay insensitive
- analog vlsi
- lateral inhibition
- databases