Login / Signup
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