SDVS/VHDL Application Program Plan,
Abstract
This report delineates a plan for accomplishing the SDVS/VHDL Application task, an effort on the part of The Aerospace Corporation (Aerospace) to specify and verify formally properties of a moderate-size hardware description, provided by the National Security Agency (NSA), of production integrated circuitry. The description is to be written in the VHSIC Hardware Description Language (VHDL), and the specification/verification tool to be used is the State Delta Verification System (SDVS). The SDVS/VHDL Application will be directed towards demonstrating the suitability of SDVS to the verification of realistic VHDL hardware descriptions, stress-testing SDVS, and formulating strategies for further research and development in formal verification generally, and particularly in VHDL verification. Aerospace and NSA have an ongoing commitment to investigating the utility of formal methods for DoD Programs. In particular, Aerospace continues its multi-year project to build an automated system for formal verification that can be used at all levels of the hierarchy of digital computer systems: the State Delta Verification System. The goal is to verify hardware from gate-level designs to high-level architecture, and to verify software from the microcode level to application programs written in high-level programming and hardware description languages.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 30, 1994
- Accession Number
- ADA329348
Entities
People
- I. V. Filippenko
Organizations
- The Aerospace Corporation