Logic Design and Synthesis with IEEE Logic Symbols in the DEMET System.
Jukka LahtiJorma KiveläPublished in: VLSI Design (1992)
Keyphrases
- logic synthesis
- multi valued
- modal logic
- chip design
- logic programming
- logic circuits
- micron cmos
- case study
- neural network
- digital circuits
- functional programs
- design space
- classical logic
- asynchronous circuits
- logical framework
- power dissipation
- computational properties
- design principles
- knowledge based systems
- user interface
- artificial intelligence
- genetic algorithm