Metrics for Analyzing Quantifiable Differentiation of Designs with Varying Integrity for Hardware Assurance

This work proposes an approach to quantifying the integrity of a questionable design by parsing the design into characteristic sub-domains: Logical Equivalence, Signal Activity Rate, Functional Correctness, Structural Architecture, and Power Consumption. Measurement techniques are reviewed for each...

Full description

Saved in:
Bibliographic Details
Main Authors: Kimura,Adam G, Bibyk,Steven B, Dupaix,Brian P, Casto,Matthew J, Creech,Gregory L
Format: Report
Language:English
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This work proposes an approach to quantifying the integrity of a questionable design by parsing the design into characteristic sub-domains: Logical Equivalence, Signal Activity Rate, Functional Correctness, Structural Architecture, and Power Consumption. Measurement techniques are reviewed for each domain which quantify deviation of the actual design away from the expected profiles. A novel method for quantifying the quality of reference used for expected profiles is also proposed. Expected profiles can incorporate a level of overdesign. Finally, the Design Integrity measuring techniques are applied to five Test Article (TA) cases that showed Error 2 TA to have the lowest integrity of 2.95/5 and the untampered TA containing the highest integrity of 5.00/5. 42nd Annual Gomactech Conference (gomactech 17) Government Microcircuit Applications and Critical , 20 Mar 2017, 23 Mar 2017, See also AD1034309 - 42nd Annual Gomactech Conference (GOMACTech 17) Government Microcircuit Applications And Critical Technology Conference. Technologies For Secure Spectrum Access From Dc To Light. Held At The Grand Sierra Resort, Reno, Nevada, March 20-23, 2017.