Formal Verification of VHDL Models

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$300,000.00
Award Year:
1994
Program:
SBIR
Phase:
Phase II
Contract:
n/a
Award Id:
19962
Agency Tracking Number:
19962
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
301 Dates Drive, Ithaca, NY, 14850
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Mark Bickford
(607) 277-2020
Business Contact:
() -
Research Institute:
n/a
Abstract
The goal of this project is to create tools to support the formal verification of VHDL designs. Two existing formal verification tools will be enhanced to support VHDL. The first, Spectool, will allow a class of designs, the synchronous finite-state controlled systems, to be specified and verified and then translated into VHDL. This capability will allow VHDL to be used as an interface between Spectool, which has been used to verify several large designs, and other CAD tools. The second tool, Penelope, will be enhanced to allow specification and verification of arbitrary VHDL designs. Phase I will complete the enhancement of Spectool to allow translation of verified designs into VHDL. Examples will be worked using the enhanced tool and will guide the development of the VHDL interface language to be used in the VHDL-enhanced Penelope. Penelope will be enhanced to support the core language constructs of VHDL, laying a foundation for the Phase II effort. In Phase II of the project, the VHDL- enhanced Penelope system will be completed to support all of VHDL and integrated with the Ada part of Penelope so that mixed hardware/software systems can be verified.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government