Circuit partitioning with logic perturbation.
David Ihsin ChengChih-Chang LinMalgorzata Marek-SadowskaPublished in: ICCAD (1995)
Keyphrases
- digital circuits
- logic synthesis
- delay insensitive
- logic circuits
- asynchronous circuits
- circuit design
- logic programming
- micron cmos
- high speed
- chip design
- predicate logic
- analog circuits
- truth table
- partitioning algorithm
- automated reasoning
- model based diagnosis
- nonmonotonic logics
- classical logic
- multi valued
- proof theory
- electronic circuits
- graph partitioning
- low power
- modal logic