Author of the publication

The Use of Model Checking in ATPG for Sequential Circuits.

, , , and . CAV, volume 531 of Lecture Notes in Computer Science, page 86-95. Springer, (1990)

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

DTIS 2015 foreword., and . DTIS, page 1. IEEE, (2015)An experimental analysis of the effectiveness of the circular self-test path technique., , and . EURO-DAC, page 246-251. IEEE Computer Society, (1994)A Self-Repairing Execution Unit for Microprogrammed Processors., , and . IEEE Micro, 21 (5): 16-22 (2001)Designing and Testing High Dependable Memories for Aerospace Applications., , , , and . VLSI-SOC, page 221-. Technische Universität Darmstadt, Insitute of Microelectronic Systems, (2003)The Use of Model Checking in ATPG for Sequential Circuits., , , and . CAV, volume 531 of Lecture Notes in Computer Science, page 86-95. Springer, (1990)On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications., , , , , , and . EDCC, volume 1150 of Lecture Notes in Computer Science, page 190-202. Springer, (1996)Scan chain encryption for the test, diagnosis and debug of secure circuits., , , , , and . ETS, page 1-6. IEEE, (2017)Design and Review of Water Management System Using Ethernet, Wi-Fi 802.11n, Modbus, and Other Communication Standards., , , , and . Wireless Personal Communications, 106 (4): 1677-1699 (2019)SATTA: A Self-Adaptive Temperature-Based TDF Awareness Methodology for Dynamically Reconfigurable FPGAs., , , , and . ACM Trans. Reconfigurable Technol. Syst., 8 (1): 1:1-1:22 (2015)AFTAB: A RISC-V Implementation with Configurable Gateways for Security., , , , , and . EWDTS, page 1-6. IEEE, (2021)