SBIR/STTR Research Award
DELV: Datasheet/English-to-Logic Verification
Award amount
$749,961Program and phase
SBIR · Phase IIAward year
2018Award details
- Awarding agency
- Department of Defense
- Branch
- Air Force
- Recipient company
- GRAF RESEARCH CORPORATION
- Proposal award date
- 2018-09-19
- Contract end date
- 2020-09-19
- UEI
- XHMHKK9DXVF6
- Solicitation number
- 2017.1
- Topic code
- AF171-046
Research abstract
The Graf Research goal for this program is to produce a 3rd-Party IP (3PIP) assessment technique entitled DELV.DELV accomplishes the goals of establishing trust in the 3PIP under test, with the additional requirements that it (1) does not add significant cost to the core, (2) does not require extensive time to apply, (3) does not require extensive verification or reverse engineering expertise to use, and (4) interoperates with a standard EDA verification tool flow.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Dynamic Scheduler for Heterogeneous Multi-Tasking
- Measures and Methods for Optimal ELINT Signal Detection and Classification
- A Data-Centric Understanding of Satellite Maneuver Anomaly Classification within Space Domain Awareness
- Synthetic Data Generation for Enforte Attest
- Digital Erasure of Sensitive FPGA Systems
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
Research funding history
23 SBIR/STTR records share this UEI (2016–2026). Reported award amounts total $12,346,784. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense