A new generation of ISCAS benchmarks from formal verification of high-level microprocessors.

Miroslav N. Velev

Browse the full ISCAS paper archive.