On-Chip Verification of NoCs Using Assertion Processors.
Mohammad Reza KakoeeMohammad Hossein NeishaburiMasoud DaneshtalabSaeed SafariZainalabedin NavabiPublished in: DSD (2007)
Keyphrases
- functional verification
- multithreading
- signal processor
- parallel algorithm
- high speed
- memory subsystem
- low cost
- high density
- signal processing
- model checking
- processor core
- single chip
- parallel processing
- analog vlsi
- computational power
- parallel computing
- face verification
- physical design
- asynchronous circuits
- multi core processors
- high end
- image sensor
- shared memory