By Stephan Eggersglüß,Rolf Drechsler

This publication presents an outline of automated try development iteration (ATPG) and introduces novel ideas to counterpoint classical ATPG, in accordance with Boolean Satisfiability (SAT).  a quick and hugely fault effective SAT-based ATPG framework is gifted that's additionally capable of generate top quality hold up checks akin to powerful direction hold up exams, in addition to exams with lengthy propagation paths to discover small hold up defects.


The goal of the strategies and methodologies awarded during this publication is to enhance SAT-based ATPG, so that it will make it acceptable in business perform. Readers will learn how to increase the functionality and robustness of the final try new release approach, in order that the ATPG set of rules reliably will generate try styles for many unique faults in appropriate run time to satisfy the excessive fault insurance calls for of undefined. The innovations and enhancements awarded during this ebook give you the following advantages:


  • Provides a finished advent to check new release and Boolean Satisfiability (SAT);
  •  Describes a hugely fault effective SAT-based ATPG framework;
  • Introduces circuit-oriented SAT fixing suggestions, which utilize structural details and may be able to speed up the hunt technique significantly;
  • Provides SAT formulations for the customary hold up faults types, as well as the classical stuck-at fault model;
  • Includes an business point of view at the state of the art within the trying out, besides SAT; issues as a rule distinct from each one other.

Show description

Read or Download High Quality Test Pattern Generation and Boolean Satisfiability PDF

Similar systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This is often either a realistic and theoretical advisor detailing how you can installation a winning ProVision® method, utilizing a couple of genuine company instances alongside the way in which. not like different structure books, the technique is holistic - it seems to be on the entire lifecycle of establishing a company case, via to utilizing the product.

SystemC and SystemC-AMS in Practice: SystemC 2.3, 2.2 and SystemC-AMS 1.0

This e-book describes how engineers could make optimal use of the 2 average analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout technique, emphasizing how SystemC and SystemC-AMS beneficial properties will be exploited such a lot successfully to analyze/understand a given digital approach and discover the layout house.

HSPA Evolution: The Fundamentals for Mobile Broadband

This ebook is key examining for these wishing to procure a platforms point of view and a huge view at the heritage, functionality and alertness of the most recent advancements in HSPA within the context of the calls for on today’s cellular broadband units and networks. It takes the reader behind the curtain of 3GPP and offers an simply available knowing of the fundamental rules, the most recent steps within the standard’s evolution, and the motivations at the back of the advance of standardized good points.

Formal Specification Level: Concepts, Methods, and Algorithms

This booklet introduces a brand new point of abstraction that closes the distance among the textual specification of embedded structures and the executable version on the digital method point (ESL). Readers might be enabled to function at this new, Formal Specification point (FSL), utilizing versions which not just let major verification projects during this early level of the layout stream, but in addition could be extracted semi-automatically from the textual specification in an interactive demeanour.

Extra resources for High Quality Test Pattern Generation and Boolean Satisfiability

Sample text

Download PDF sample

Rated 4.41 of 5 – based on 9 votes