Author of the publication

Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits.

, , , and . IEEE Trans. VLSI Syst., 27 (4): 875-887 (2019)

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

RevKit: A Toolkit for Reversible Circuit Design., , , and . Multiple-Valued Logic and Soft Computing, 18 (1): 55-65 (2012)Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits)., , , and . it - Information Technology, 52 (4): 216-223 (2010)Debugging reversible circuits., , , , and . Integration, 44 (1): 51-61 (2011)RobuCheck: A Robustness Checker for Digital Circuits., , , and . DSD, page 226-231. IEEE Computer Society, (2010)Complete and effective robustness checking by means of interpolation., , , , and . FMCAD, page 82-90. IEEE, (2012)Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits., , , and . IEEE Trans. VLSI Syst., 27 (4): 875-887 (2019)Improving fault tolerance utilizing hardware-software-co-synthesis., , and . DATE, page 939-942. EDA Consortium San Jose, CA, USA / ACM DL, (2013)RevKit: An Open Source Toolkit for the Design of Reversible Circuits., , , and . RC, volume 7165 of Lecture Notes in Computer Science, page 64-76. Springer, (2011)metaSMT: Focus on Your Application not on Solver Integration., , , , and . DIFTS@FMCAD, volume 832 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Debugging of Toffoli networks., , , , and . DATE, page 1284-1289. IEEE, (2009)