Formal Methods for Robustness Checking of Radiation-Hardened-by-Design Microelectronics

Award Information
Agency:
Department of Energy
Branch
n/a
Amount:
$100,000.00
Award Year:
2009
Program:
SBIR
Phase:
Phase I
Contract:
DE-FG02-09ER85279
Award Id:
94408
Agency Tracking Number:
91550
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
6157 N. Sheridan Road, Suite 16M, Chicago, IL, 60660
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
361627933
Principal Investigator:
Miroslav Velev
Dr.
(773) 856-6633
miroslav.velev@aries-da.com
Business Contact:
Miroslav Velev
Dr.
(773) 856-6633
miroslav.velev@aries-da.com
Research Institution:
n/a
Abstract
For more than four decades, space-based systems have been used to support the detection of activities associated with the proliferation of weapons of mass destruction. This project will develop efficient and scalable tool to evaluate the robustness of radiation-hardened circuits and to automatically generate recommendations for radiation hardening in these space systems. The tool will be based on efficient translation of the problem to Boolean Satisfiability (SAT), in order to exploit the recent advances in both the speed and capacity of SAT solvers. Relative to previous formal approaches for robustness checking, Phase I will achieve a capability to analyze circuits that are at least an order-of-magnitude larger in terms of their gate count. An extensive experimental evaluation will be conducted in Phase II. Commercial Applications and other Benefits as described by the awardee In addition to DOE applications, a highly scalable tool for automatic analysis of the robustness of radiation hardened circuits should benefit all branches of the DoD and NASA, all semiconductor companies, and companies that develop aerospace electronics

* 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