Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values


Unknown (X) values emerge during the look process and throughout system operation and take a look at application. X-sources are for example black boxes in style models, clock-domain boundaries, analog-to-digital converters, or uncontrolled or uninitialized sequential parts. To compute a check pattern for a given fault, well-outlined logic values are required each for fault activation and propagation to observing outputs. In presence of X-values, standard test generation algorithms, primarily based on structural algorithms, Boolean satisfiability (SAT), or binary call diagram-based mostly reasoning might fail to come up with test patterns or to prove faults untestable. This paper proposes the primary efficient stuck-at and transition-delay fault check generation algorithm able to prove testability or untestability of faults in presence of X-values. It overcomes the principal pessimism of conventional algorithms when X-values are thought-about by mapping the test generation drawback to the SAT of quantified Boolean formulas. Experiments on ISCAS benchmarks and larger industrial circuits investigate the increase in fault coverage for standard deterministic and potential detection requirements for both randomized and clustered X-sources.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE :Accurate Location Tracking From CSI-Based Passive Device-Free Probabilistic Fingerprinting - 2018ABSTRACT:The research on indoor localization has received great interest in recent times. This has been fueled by
PROJECT TITLE :Every Timestamp Counts: Accurate Tracking of Network Latencies Using Reconcilable Difference Aggregator - 2018ABSTRACT:User-facing services deployed in data centers must respond quickly to user actions. The measurement
PROJECT TITLE :Accurate Recovery of Internet Traffic Data Under Variable Rate Measurements - 2018ABSTRACT:The inference of the network traffic matrix from partial measurement information becomes increasingly vital for various
PROJECT TITLE :ATME: Accurate Traffic Matrix Estimation in Both Public and Private Datacenter Networks - 2018ABSTRACT:Understanding the pattern of finish-to-finish traffic flows in datacenter networks (DCNs) is crucial to several
PROJECT TITLE :An Accurate Power-sharing Control Method Based on Circulating-current Power Phasor Model in Voltage-source-inverter Parallel-operation System - 2017ABSTRACT:This paper proposes an optimized mathematical model of

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry