Author of the publication

Trusted RTL: Trojan Detection Methodology in Pre-silicon Designs.

, and . HOST, page 56-59. IEEE Computer Society, (2010)

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

State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (10): 2275-2282 (2006)Bilateral Testing of Nano-scale Fault-Tolerant Circuits., and . J. Electron. Test., 24 (1-3): 285-296 (2008)Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming., and . AI*IA, volume 12414 of Lecture Notes in Computer Science, page 280-297. Springer, (2020)Error Diagnosis of Sequential Circuits Using Region-Based Mode., and . VLSI Design, page 103-. IEEE Computer Society, (2001)Explicit Safety Property Strengthening in SAT-based Induction., and . VLSI Design, page 63-68. IEEE Computer Society, (2007)Mining-guided state justification with partitioned navigation tracks., , and . ITC, page 1-10. IEEE Computer Society, (2007)On efficient error diagnosis of digital circuits., and . ITC, page 678-687. IEEE Computer Society, (2001)Efficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal., and . ITC, page 281-289. IEEE Computer Society, (2003)A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management., , , , and . ICCD, page 119-126. IEEE Computer Society, (2005)Quantifying the energy efficiency of coordinated micro-architectural adaptation for multimedia workloads., and . ICCD, page 583-590. IEEE Computer Society, (2008)