Login / Signup
Formal verification of a real-time hardware design.
Zerksis D. Umrigar
Vijay Pitchumani
Published in:
DAC (1983)
Keyphrases
</>
hardware design
formal verification
fpga hardware
real time
model checking
hardware implementation
model checker
automated verification
symbolic model checking
bounded model checking
program slicing
field programmable gate array
low cost
efficient implementation