Synthesis of Delay-Verifiable Combinational Circuits.
Wuudiann KePremachandran R. MenonPublished in: IEEE Trans. Computers (1995)
Keyphrases
- logic synthesis
- logic circuits
- analog circuits
- power dissipation
- asynchronous circuits
- high speed
- power consumption
- low power
- sufficient conditions
- delay insensitive
- digital circuits
- tunnel diode
- texture synthesis
- cmos technology
- program synthesis
- data sets
- secret sharing
- artificial intelligence
- digital signal processing
- heuristic search
- multi agent
- knowledge base
- databases
- functional programs