Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems.

Roger B. Hughes Gerry Musgrave

Published in: FPL (1994)

Keyphrases

safety critical
embedded systems
formal methods
design process
field programmable gate array
case study
knowledge based systems
real time
machine learning
e learning
user interface
low cost
intelligent systems
support systems