PEACH: A Novel Architecture for Probabilistic Combinational Equivalence Checking

Wu, Shih-chieh; Wang, Chun-Yao

doi:10.1109/vlsisoc.2006.313212

Cited by 4 publications

(1 citation statement)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In traditional equivalence checking [13] both circuits -CUT and the original circuit are available as white box. Hence, it is possible to use techniques like satisfiability solving [14] and randomized structural hashing [15], [16]. In contrast, the problem of trojan detection is more complicated since we only have the original circuit design and the CUT is only available as a black box.…”

Section: Probabilistic Signature Of a Circuitmentioning

confidence: 99%

Randomization Based Probabilistic Approach to Detect Trojan Circuits

Jha

2008

2008 11th IEEE High Assurance Systems Engineering Symposium

View full text Add to dashboard Cite

In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be inserted into the design or fabrication mask by a malicious manufacturer such that it monitors for a specific rare trigger condition, and then it produces a payload error in the circuit which alters the functionality of the circuit often causing a catastrophic crash of the system where the chip was being used. Since trojans are activated by rare input patterns, they are stealthy by nature and are difficult to detect through conventional techniques of functional testing. In this paper, we propose a novel randomized approach to probabilistically compare the functionality of the implemented circuit with the design of the circuit. Using hypothesis testing, we provide quantitative guarantees when our algorithm reports that there is no trojan in the implemented circuit. This allows us to trade runtime for accuracy. The technique is sound, that is, it reports presence of a trojan only if the implemented circuit is actually infected. If our algorithm finds that the implemented circuit is infected with a trojan, it also reports a fingerprint input pattern to distinguish the implemented circuit from the design. We illustrate the effectiveness of our technique on a set of infected and benign combinational circuits.

show abstract

Section: Probabilistic Signature Of a Circuitmentioning

confidence: 99%

Randomization Based Probabilistic Approach to Detect Trojan Circuits

Jha

2008

2008 11th IEEE High Assurance Systems Engineering Symposium

View full text Add to dashboard Cite

show abstract

A probabilistic analysis method for functional qualification under Mutation Analysis

Lin

Wang

Chang

et al. 2012

2012 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE)

View full text Add to dashboard Cite

Mutation Analysis (MA) is a fault-based simulation technique that is used to measure the quality of testbenches in error (mutant) detection. Although MA effectively reports the living mutants to designers, it suffers from the high simulation cost. This paper presents a probabilistic MA preprocessing technique, Error Propagation Analysis (EPA), to speed up the MA process. EPA can statically estimate the probability of the error propagation with respect to each mutant for guiding the observation-point insertion. The inserted observation-points will reveal a mutant's status earlier during the simulation such that some useless testcases can be discarded later. We use the mutant model from an industrial EDA tool, Certitude, to conduct our experiments on the OpenCores' RT-level designs. The experimental results show that the EPA approach can save about 14% CPU time while obtaining the same mutant status report as the traditional MA approach.

show abstract

A register-transfer level testability analyzer

Chen

Wang

Huang

et al. 2011

2011 IEEE International SOC Conference

View full text Add to dashboard Cite

This paper presents a statistic-based method to estimate the testability of a design at RegisterTransfer Level. This testability estimation technique is composed of a new proposed high-level design representation and a Monte Carlo simulation which exploits a statistic model to bound the error rate and confidence level of simulation results. The experimental results show that the proposed method can efficiently report more than 60% hard-to-test points of an RL design on average prior to the synthesis task.

show abstract

PEACH: A Novel Architecture for Probabilistic Combinational Equivalence Checking

Cited by 4 publications

References 24 publications

Randomization Based Probabilistic Approach to Detect Trojan Circuits

Randomization Based Probabilistic Approach to Detect Trojan Circuits

A probabilistic analysis method for functional qualification under Mutation Analysis

A register-transfer level testability analyzer

Contact Info

Product

Resources

About