Specification-based compaction of directed tests for functional validation of pipelined processors.
Heon-Mo KooPrabhat MishraPublished in: CODES+ISSS (2008)
Keyphrases
- parallel algorithm
- parallel architecture
- parallel processing
- multiprocessor systems
- user defined
- instruction set architecture
- high level
- functional analysis
- formal specification
- communication delays
- instruction set
- single processor
- specification language
- neural network
- statistical tests
- test cases
- database systems
- artificial intelligence