Specification Interfaces for Larch/VHDL Designs

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$124,987.00
Award Year:
1996
Program:
SBIR
Phase:
Phase I
Contract:
n/a
Award Id:
32245
Agency Tracking Number:
32245
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:
Dr. Damir Jamsek
(607) 277-2020
Business Contact:
() -
Research Institute:
n/a
Abstract
This project will define and develop specification techniques for hardware designs eventually targeted for VHDL implementation. The specification techniques may be graphical or textual and will interface with the Larch/VHDL verification system. The specification techniques will be based on current state of the art CAD techniques for designing hardware. The specification techniques will provide a front-end user interface that generates formal specifications in a mathematical notation and VHDL designs suitable for actual hardware development. The combination of mathematical specification and VHDL design output will be suitable for use in the Larch/VHDL verification tool to verify the correctness of the hardware design. The VHDL designs themselves will be suitble input to a CAD system capable of carryuing out the remaining hardware implementation. The phase I effort will consist of three tasks. The first task is to identify suitable domains, such as digital signal processor design or finite state controller design, for which suitable front-end specification techniques can be developed. The second task will focus on one of these domains and define a system arthitecture for the specification interface tool. Finally, a prototype of the specification interface tool will be developed as a proof of concept.

* 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