On-Chip Property Verification Using Assertion Processors.
José Augusto Miranda NacifClaudionor Nunes CoelhoHarry FosterFlávio Miana de PaulaEdjard MotaMárcia Roberta Falcão MotaAntônio Otávio FernandesPublished in: VLSI-SoC (Selected Papers) (2003)
Keyphrases
- functional verification
- multithreading
- signal processor
- low cost
- high speed
- parallel processing
- parallel algorithm
- model checking
- analog vlsi
- programmable logic
- high density
- memory subsystem
- real time
- chip design
- multiprocessor systems
- memory access
- signal processing
- face verification
- physical design
- single chip
- signature verification
- formal methods
- low power