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

Roger B. Hughes, Gerry Musgrave

Browse the full FPL paper archive.