Specification of Control Flow Properties for Verification of Synthesized VHDL Designs.

Naren Narasimhan Ranga Vemuri

Published in: FMCAD (1996)

Keyphrases

control flow
transition systems
data flow
model checking
reactive systems
concurrent systems
software testing
process model
formal verification
modeling language
workflow management systems
protocol specification
data sets
formal methods
hardware implementation
source code
user interface
case study