Login / Signup

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

Miroslav N. VelevPing 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