Author of the publication

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

, , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 34 (12): 2025-2038 (2015)

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

Variation-Aware Small Delay Fault Diagnosis on Compressed Test Responses., , , , and . ITC, page 1-10. IEEE, (2019)Built-In Test for Hidden Delay Faults., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (10): 1956-1968 (2019)SWIFT: Switch-Level Fault Simulation on GPUs., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (1): 122-135 (2019)GPU-accelerated Time Simulation of Systems with Adaptive Voltage and Frequency Scaling., and . DATE, page 879-884. IEEE, (2020)Deterministic Pattern Generation for Weighted Random Pattern Testing., and . ED&TC, page 30-36. IEEE Computer Society, (1996)Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms., , , and . EDCC, volume 1667 of Lecture Notes in Computer Science, page 339-350. Springer, (1999)ETS 2015 best paper., and . ETS, page 1. IEEE, (2016)Generating pattern sequences for the pseudo-exhaustive test of MOS-circuits., and . FTCS, page 36-41. IEEE Computer Society, (1988)Tools and devices supporting the pseudo-exhaustive test., and . EURO-DAC, page 13-17. IEEE Computer Society, (1990)Exploiting the Error Resilience of the Preconditioned Conjugate Gradient Method for Energy and Delay Optimization., , , , and . IOLTS, page 1-7. IEEE, (2023)