Verification of the CoreNet Fabric with SystemVerilog.

Robert C. Page Sakar Jain

Published in: MTV (2009)

Keyphrases

hardware designs
model checking
highly successful
formal verification
image processing
verification method
asynchronous circuits
real time
object oriented programming
face verification
concurrent systems
formal methods
relational databases
learning environment
case study
feature selection
search engine