M-trie: an efficient approach to on-chip logic minimization.
Seraj AhmadRabi N. MahapatraPublished in: ICCAD (2004)
Keyphrases
- micron cmos
- chip design
- data structure
- high speed
- low cost
- random access memory
- logic programming
- modal logic
- objective function
- classical logic
- multi valued
- defeasible logic
- physical design
- predicate logic
- vlsi implementation
- dynamic programming
- single chip
- vlsi design
- real time
- logical framework
- asynchronous circuits
- high density
- analog vlsi
- functional verification