Login / Signup
Automatic formal verification of reconfigurable DSPs.
Miroslav N. Velev
Ping Gao
Published in:
ASP-DAC (2011)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
low cost
field programmable gate array
fully automatic
semi automatic
hardware implementation
general purpose