USA flag logo/image

An Official Website of the United States Government

Specification Interfaces for Larch/VHDL Designs

Award Information

Agency:
Department of Defense
Branch:
Air Force
Award ID:
32245
Program Year/Program:
1996 / SBIR
Agency Tracking Number:
32245
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
ATC-NY
33 Thornwood Dr., Suite 500 Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 1996
Title: Specification Interfaces for Larch/VHDL Designs
Agency / Branch: DOD / USAF
Contract: N/A
Award Amount: $124,987.00
 

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.

Principal Investigator:

Dr. Damir Jamsek
6072772020

Business Contact:

Small Business Information at Submission:

Odyssey Research Assoc Inc.
301 Dates Drive Ithaca, NY 14850

EIN/Tax ID: 161549760
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No