Boolean technology mapping for both ECI and CMOS circuits based on permissible functions and binary decision diagrams.
Hitomi SatoNorikazu TakahashiYusuke MatsunagaMasahiro FujitaPublished in: ICCD (1990)
Keyphrases
- binary decision diagrams
- boolean functions
- cmos technology
- decision diagrams
- delay insensitive
- analog vlsi
- vlsi circuits
- multi valued
- high speed
- circuit design
- low cost
- real valued
- boolean formula
- low power
- variable ordering
- database systems
- power consumption
- domain specific
- symbolic model checking
- random access memory
- natural language processing
- search algorithm