Full-chip verification of UDSM designs.
Resve A. SalehDavid OverhauserSandy TaylorPublished in: ICCAD (1998)
Keyphrases
- functional verification
- nm technology
- low cost
- high speed
- model checking
- application specific integrated circuits
- artificial intelligence
- analog vlsi
- physical design
- single chip
- formal verification
- high density
- printed circuit boards
- formal methods
- evolvable hardware
- programmable logic
- verification method
- host computer
- evolutionary algorithm
- signature verification
- face verification
- fingerprint verification
- power consumption
- data sets