Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors.
Ying XuEduard CernyAllan SilburtA. CoadyYing LiuPhilip PownallPublished in: CHARME (1999)
Keyphrases
- practical application
- formal verification
- functional verification
- model checking
- model checker
- bounded model checking
- automated verification
- low cost
- high speed
- program slicing
- analog vlsi
- symbolic model checking
- high density
- single chip
- frame rate
- video frames
- physical design
- artificial intelligence
- formal specification
- temporal logic
- chip design
- orders of magnitude
- expert systems