A Complete Design Environment for Asynchronous Circuits

Award Information
Agency:
Department of Defense
Branch
Defense Advanced Research Projects Agency
Amount:
$98,988.00
Award Year:
2003
Program:
SBIR
Phase:
Phase I
Contract:
DAAH0103CR159
Award Id:
63457
Agency Tracking Number:
02SB2-0318
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
33 Thornwood Drive, Suite 500, Ithaca, NY, 14850
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
101321479
Principal Investigator:
David Guaspari
Senior Principal Scientis
(607) 257-1975
davidg@atc-nycorp.com
Business Contact:
Richard Smith
Controller
(607) 257-1975
rick@atc-nycorp.com
Research Institution:
n/a
Abstract
Theoretical research on asynchronous circuits has provided top﷓down methods that start from an operational description of a circuit. Top-down methods avoid the difficulty of understanding (let alone verifying) the behavior of compositions ofasynchronous components. In practice, however, design begins from a functional decomposition, often incorporating components previously designed. ATC-NY will develop a mathematically based, automated tool that allows asynchronous components and theirbehaviors to be designed and specified by compositional methods familiar to users of VHDL and Verilog. The tool will support an extensible design language, AHDL, that generalizes VHDL and can also incorporate components designed by other means. It willsupport both simulation (exploiting VHDL simulators) and formal verification of functional correctness. By integrating this tool with a suite of existing tools that perform top-down design, low-level synthesis, optimization, power estimation, and layoutwe support a complete design method that allows users to mix top-down and compositional steps, and to verify code either by simulation or by full formal proof. Asynchronous microprocessors offer the promise of high performance with low power consumption.The commercial development of asynchronous processors has been hindered by a lack of design tools. The introduction of powerful tools for asynchronous design opens up a vast market. Such tools will make possible the design of a new generation ofasynchronous circuits with superior performance - circuits useful for high-performance sensing, communication, and processing for current and future military systems.

* 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