FM Past Program: Verification of Hardware Devices

Our past research and demonstration projects in the area of formal verification of hardware devices included the following:

• AAMP5/AAMP-FV
• IEEE Floating Point Standard
• Boeing hardware devices
• CSDL Scoreboard hardware
• Asynchronous Communcation

---

Curator and Responsible NASA Official: C. Michael Holloway
last modified: 23 September 1998 (11:41:15)