SBIR/STTR Research Award
Correct-by-construction radhard NCL circuits for GPS
Award amount
$749,722Program and phase
SBIR · Phase IIAward year
2008Award details
- Awarding agency
- Department of Defense
- Branch
- Air Force
- Recipient company
- CODETRONIX LLC
- Proposal award date
- 2008-07-31
- Contract end date
- 2010-11-30
- UEI
- Not reported
- Solicitation number
- 2007.1
- Topic code
- AF071-225
Research abstract
Correct-by-construction radhard-by-design NCL-style asynchronous circuits are generated using a high-level compiler. SEU-induced glitches are detected and the circuit pipeline is flushed and restarted without effecting the rest of the circuit. A 130nm ASIC is manufactured containing an efficient FFT suitable for GPS M-code direct acquisition. Partially automated design exploration allows the user to tradeoff between throughput, resources and energy.
Technology keywords
Not reported
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Correct-by-construction radhard NCL circuits for GPS
- Asynchronous Global Positioning Satellite (GPS) Baseband Processing Elements