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

Miroslav N. Velev Ping Gao

Published in: ICFEM (2011)

Keyphrases

formal verification
functional units

model checking
bounded model checking

neural network
artificial intelligence

general purpose
field programmable gate array