Logo des Repositoriums
Zur Startseite
  • English
  • Deutsch
Anmelden
  1. Startseite
  2. SuUB
  3. Forschungsdokumente
  4. On Acceleration of SAT-Based ATPG for Industrial Designs
 
Zitierlink DOI
10.26092/elib/2301
Verlagslink DOI
10.1109/TCAD.2008.923107

On Acceleration of SAT-Based ATPG for Industrial Designs

Veröffentlichungsdatum
2008-06-17
Autoren
Drechsler, Rolf  
Eggersglüß, Stephan  
Fey, Görschwin  
Glowatz, Andreas  
Hapke, Friedrich  
Schloeffel, Juergen  
Tille, Daniel  
Zusammenfassung
Due to the rapidly growing size of integrated circuits, there is a need for new algorithms for automatic test pattern generation (ATPG). While classical algorithms reach their limit, there have been recent advances in algorithms to solve Boolean Satisfiability (SAT). Because Boolean SAT solvers are working on conjunctive normal forms (CNFs), the problem has to be transformed. During transformation, relevant information about the problem might get lost and, therefore, is not available in the solving process. In this paper, we present a technique that applies structural knowledge about the circuit during the transformation. As a result, the size of the problem instances decreases, as well as the run time of the ATPG process. The technique was implemented, and experimental results are presented. The approach was combined with the ATPG framework of NXP Semiconductors. It is shown that the overall performance of an industrial framework can significantly be improved. Further experiments show the benefits with regard to the efficiency and robustness of the combined approach.
Schlagwörter
Automatic test pattern generation

; 

Boolean satisfiability

; 

Formal methods

; 

Testing
Verlag
IEE
Fachbereich
Fachbereich 03: Mathematik/Informatik (FB 03)  
Dokumenttyp
Artikel/Aufsatz
Zeitschrift/Sammelwerk
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Band
27
Heft
7
Startseite
1329
Endseite
1333
Zweitveröffentlichung
Ja
Dokumentversion
Postprint
Lizenz
Alle Rechte vorbehalten
Sprache
Englisch
Dateien
Lade...
Vorschaubild
Name

Drechsler-et-al_On_Acceleration_of_SAT-Based_ATPG_for_Industrial_Designs_2008_accepted-version_PDF-A-2b.pdf

Size

886.03 KB

Format

Adobe PDF

Checksum

(MD5):ec89d0ef45fcec293bc8278b6e1b8a87

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Datenschutzbestimmungen
  • Endnutzervereinbarung
  • Feedback schicken