Exploiting Concurrency in System-on-Chip Verification.
Justin XuCheng-Chew LimPublished in: APCCAS (2006)
Keyphrases
- hardware and software
- model checking
- power consumption
- concurrent systems
- hardware software partitioning
- database systems
- embedded systems
- concurrency control
- data mining
- feature extraction
- asynchronous circuits
- programming language
- software systems
- knowledge base
- computer vision
- integrity constraints
- face verification
- high security
- databases
- data sets