FoCuS: A Dynamic Regression Suite Generation Platform for Processor Functional Verification.

Amir Hekmatpour James Coulter Azadeh Salehi

Published in: CATA (2005)

Keyphrases

functional verification
regression model
formal verification
real time
query processing
high speed
distributed systems
parallel processing
hardware and software
energy efficiency
parallel architecture