Search filters

List of works by Stephan Eggersglüß

Constraint-Based Pattern Retargeting for Reducing Localized Power Activity During Testing

Efficient Data Structures and Methodologies for SAT-Based ATPG Providing High Fault Coverage in Industrial Application

Efficient test generation with maximal crosstalk-induced noise using unconstrained aggressor excitation

article published in 2010

Experimental Studies on SAT-Based ATPG for Gate Delay Faults

Foreword

High Quality Test Pattern Generation and Boolean Satisfiability

Improved SAT-based ATPG: More constraints, better compaction

Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs

Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques

Incremental Solving Techniques for SAT-based ATPG

MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics

PASSAT 2.0: A multi-functional SAT-based testing framework

Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization

Robust algorithms for high quality Test Pattern Generation using Boolean Satisfiability

scholarly article published November 2010

SWORD: A SAT like Prover Using Word Level Information

SWORD: A SAT like prover using word level information

Structural heuristics for SAT-based ATPG

VecTHOR: Low-cost compression architecture for IEEE 1149-compliant TAP controllers

Paulina is supported by:

About Paulina

Help