Author of the publication

Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns

, , , , , and . 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), page 749-754. Piscataway, IEEE, (2016)
DOI: 10.1109/ASPDAC.2016.7428101

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Applying Tailored Formal Methods to X-ATPG., , and . MBMV, page 138. Albert-Ludwigs-Universität Freiburg, (2016)Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values, , , , , and . IEEE transactions on computer-aided design of integrated circuits and systems, 34 (12): 2025-2038 (2015)Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects., , , , and . ATS, page 131-136. IEEE Computer Society, (2014)Improving test pattern generation in presence of unknown values beyond restricted symbolic logic., , and . ETS, page 1-6. IEEE, (2015)Accurate QBF-based test pattern generation in presence of unknown values., , , , and . DATE, page 436-441. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Efficient SMT-based ATPG for interconnect open defects., , , and . DATE, page 1-6. European Design and Automation Association, (2014)Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs., , and . DATE, page 972-977. IEEE, (2016)Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model., , , and . VLSI Design, page 135-140. IEEE Computer Society, (2017)Accurate Multi-cycle ATPG in Presence of X-Values., , , , and . Asian Test Symposium, page 245-250. IEEE Computer Society, (2013)Test pattern generation in presence of unknown values based on restricted symbolic logic., , , , , and . ITC, page 1-10. IEEE Computer Society, (2014)