Formally verified synthesis of combinational CMOS circuits.
David A. BasinGeoffrey M. BrownMiriam LeeserPublished in: Integr. (1991)
Keyphrases
- delay insensitive
- asynchronous circuits
- analog vlsi
- logic circuits
- circuit design
- logic synthesis
- low power
- high speed
- vlsi circuits
- analog circuits
- cmos technology
- low cost
- power consumption
- power dissipation
- floating gate
- focal plane
- chip design
- random access memory
- low voltage
- program synthesis
- hd video
- single chip
- texture synthesis
- power supply
- transfer function
- image processing
- computer vision
- neural network
- data sets