You are here

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

Award Information
Agency: Department of Energy
Branch: N/A
Contract: DE-FG02-09ER85279
Agency Tracking Number: 91550
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: 60 b
Solicitation Number: DE-PS02-08ER08-34
Timeline
Solicitation Year: 2008
Award Year: 2009
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
6157 N. Sheridan Road Suite 16M
Chicago, IL 60660
United States
DUNS: 361627933
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Miroslav Velev
 Dr.
 (773) 856-6633
 miroslav.velev@aries-da.com
Business Contact
 Miroslav Velev
Title: Dr.
Phone: (773) 856-6633
Email: 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. *

US Flag An Official Website of the United States Government