Specification Interfaces for Larch/VHDL Designs

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: N/A
Agency Tracking Number: 32245
Amount: $124,987.00
Phase: Phase I
Program: SBIR
Awards Year: 1996
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
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Dr. Damir Jamsek
 (607) 277-2020
Business Contact
Phone: () -
Research Institution
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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government