PG) for Verification and Testing of Processor Cores.
K. Uday BhaskarM. PrasanthV. KamakotiKailasnath ManeparambilPublished in: Asian Test Symposium (2005)
Keyphrases
- processor core
- functional verification
- multi core processors
- formal verification
- test generation
- symbolic execution
- level parallelism
- model checking
- parallel processing
- computer architecture
- general purpose
- parallel architectures
- software testing
- test cases
- high speed
- asynchronous circuits
- test data generation
- operating system
- data sets
- central processing unit
- multi core systems
- multi core architecture