USA flag logo/image

An Official Website of the United States Government

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

Award Information

Agency:
Department of Energy
Branch:
N/A
Award ID:
94408
Program Year/Program:
2009 / SBIR
Agency Tracking Number:
91550
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Aries Design Automation, LLC
2705 West Byron Street Chicago, IL 60618-3745
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2009
Title: Formal Methods for Robustness Checking of Radiation-Hardened-by-Design Microelectronics
Agency: DOE
Contract: DE-FG02-09ER85279
Award Amount: $100,000.00
 

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

Principal Investigator:

Miroslav Velev
Dr.
7738566633
miroslav.velev@aries-da.com

Business Contact:

Miroslav Velev
Dr.
7738566633
miroslav.velev@aries-da.com
Small Business Information at Submission:

Aries Design Automation, Llc
6157 N. Sheridan Road Suite 16M Chicago, IL 60660

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