Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units.

Miroslav N. Velev, Ping Gao

Browse the full ICFEM paper archive.