SBIR/STTR Research Award
Correct-by-construction radhard NCL circuits for GPS
Award amount
$99,664Program and phase
SBIR · Phase IAward year
2007Award details
- Awarding agency
- Department of Defense
- Branch
- Air Force
- Recipient company
- CODETRONIX LLC
- Proposal award date
- 2007-06-15
- Contract end date
- 2008-03-31
- UEI
- Not reported
- Solicitation number
- 2007.1
- Topic code
- AF071-225
Research abstract
Designs for AES encryption and M-code direct acquisition circuits will be created and analyzed for implementation using a prototype high-level compiler that generates correct-by-construction asynchronous NCL circuits. A NCL compatible radiation-hard-by-design architecture will be designed and simulated, and the compiler will be augmented to generate this RHBD architecture.
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