Formal Verification of an Industrial System-on-a-Chip.
Hoon ChoiMyung-Kyoon YimJae Young LeeByeong-Whee YunYun-Tae LeePublished in: ICCD (2000)
Keyphrases
- formal verification
- functional verification
- model checking
- model checker
- industrial applications
- high speed
- bounded model checking
- automated verification
- symbolic model checking
- high density
- low cost
- program slicing
- programmable logic
- analog vlsi
- vlsi implementation
- single chip
- circuit design
- ibm power processor
- first order logic
- open source