| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram |
A Novel SMT-Based Technique for LFSR Reseeding.  |
VLSI Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kameshwar Chandrasekar, Supratik K. Misra, Sanjay Sengupta, Michael S. Hsiao |
A scan pattern debugger for partial scan industrial designs. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Min Li, Michael S. Hsiao |
RAG: An efficient reliability analysis of logic circuits on graphics processing units. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan |
Strategies for scalable symbolic execution-driven test generation for programs. |
SCIENCE CHINA Information Sciences |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Li, Michael S. Hsiao |
3-D Parallel Fault Simulation With GPGPU. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shianling Wu, Laung-Terng Wang, Xiaoqing Wen, Zhigang Jiang, Lang Tan, Yu Zhang, Yu Hu, Wen-Ben Jone, Michael S. Hsiao, James Chien-Mo Li, Jiun-Lang Huang, Lizhen Yu |
Using Launch-on-Capture for Testing Scan Designs Containing Synchronous and Asynchronous Clock Domains. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy |
An Efficient 2-Phase Strategy to Achieve High Branch Coverage. |
Asian Test Symposium |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Li, Michael S. Hsiao |
High-Performance Diagnostic Fault Simulation on GPUs. |
European Test Symposium |
2011 |
DBLP DOI BibTeX RDF |
diagnostic faut simulation, general-purpose computing on graphics processing unit (GPGPU), parallel algorithm, compute unified device architecture (CUDA) |
| 1 | Sung Hee Park, Jonathan Leidig, Lin Tzy Li, Edward A. Fox, Nathan J. Short, Kevin E. Hoyle, A. Lynn Abbott, Michael S. Hsiao |
Experiment and Analysis Services in a Fingerprint Digital Library for Collaborative Research. |
TPDL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maheshwar Chandrasekar, Michael S. Hsiao |
A Novel Learning Framework for State Space Exploration Based on Search State Extensibility Relation. |
VLSI Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandesh Prabhakar, Rajamani Sethuram, Michael S. Hsiao |
Trace Buffer-Based Silicon Debug with Lossless Compression. |
VLSI Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maheshwar Chandrasekar, Michael S. Hsiao |
Fault Collapsing Using a Novel Extensibility Relation. |
VLSI Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mainak Banga, Michael S. Hsiao |
ODETTE: A non-scan design-for-test methodology for Trojan detection in ICs. |
HOST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mainak Banga, Nikhil P. Rahagude, Michael S. Hsiao |
Design-for-test methodology for non-scan at-speed testing. |
DATE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maheshwar Chandrasekar, Nikhil P. Rahagude, Michael S. Hsiao |
Search State Compatibility Based Incremental Learning Framework and Output Deviation Based X-filling for Diagnostic Test Generation. |
J. Electronic Testing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sandesh Prabhakar, Michael S. Hsiao |
Multiplexed trace signal selection using non-trivial implication-based correlation. |
ISQED |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Li, Michael S. Hsiao |
FSimGP^2: An Efficient Fault Simulator with GPGPU. |
Asian Test Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, Mohammed J. Zaki |
Mining Complex Boolean Expressions for Sequential Equivalence Checking. |
Asian Test Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan |
Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs. |
Asian Test Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil P. Rahagude, Maheshwar Chandrasekar, Michael S. Hsiao |
DFT + DFD: An Integrated Method for Design for Testability and Diagnosability. |
Asian Test Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mainak Banga, Michael S. Hsiao |
Trusted RTL: Trojan Detection Methodology in Pre-silicon Designs. |
HOST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Li, Yexin Zheng, Michael S. Hsiao, Chao Huang |
Reversible logic synthesis through ant colony optimization. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Min Li, Michael S. Hsiao |
An ant colony optimization technique for abstraction-guided state justification. |
ITC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Swapneel Donglikar, Mainak Banga, Maheshwar Chandrasekar, Michael S. Hsiao |
Fast circuit topology based method to configure the scan chains in Illinois Scan architecture. |
ITC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael S. Hsiao, Mainak Banga |
Kiss the Scan Goodbye: A Non-scan Architecture for High Coverage, Low Test Data Volume and Low Test Application Time. |
Asian Test Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandesh Prabhakar, Michael S. Hsiao |
Using Non-trivial Logic Implications for Trace Buffer-Based Silicon Debug. |
Asian Test Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maheshwar Chandrasekar, Michael S. Hsiao |
Diagnostic Test Generation for silicon diagnosis with an incremental learning framework based on search state compatibility. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mainak Banga, Michael S. Hsiao |
A Novel Sustained Vector Technique for the Detection of Hardware Trojans. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mainak Banga, Michael S. Hsiao |
VITAMIN: Voltage Inversion Technique to Ascertain Malicious Insertions in ICs. |
HOST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nannan He, Michael S. Hsiao |
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kaigui Bian, Jung-Min Park 0001, Michael S. Hsiao, France Belanger, Janine Hiller |
Evaluation of Online Resources in Assisting Phishing Detection. |
SAINT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Fang, Michael S. Hsiao |
Boosting SAT Solver Performance via a New Hybrid Approach. |
JSAT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael S. Hsiao, Robert B. Jones |
Introduction to special section on high-level design, validation, and test. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weixin Wu, Michael S. Hsiao |
Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Fang, Michael S. Hsiao |
Bilateral Testing of Nano-scale Fault-Tolerant Circuits. |
J. Electronic Testing |
2008 |
DBLP DOI BibTeX RDF |
Bilateral fault model, Fault-tolerant, ATPG, Nanoelectronics |
| 1 | Hong-Sik Kim, Sungho Kang, Michael S. Hsiao |
A New Scan Architecture for Both Low Power Testing and Test Volume Compression Under SOC Test Environment. |
J. Electronic Testing |
2008 |
DBLP DOI BibTeX RDF |
Keyword System on a chip, Test compression, Low power testing, Scan testing |
| 1 | Weixin Wu, Michael S. Hsiao |
SAT-based State Justification with Adaptive Mining of Invariants. |
ITC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mainak Banga, Maheshwar Chandrasekar, Lei Fang, Michael S. Hsiao |
Guided test generation for isolation and detection of embedded trojans in ics. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
trojan |
| 1 | Yexin Zheng, Michael S. Hsiao, Chao Huang |
SAT-based equivalence checking of threshold logic designs for nanotechnologies. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
SAT, nanotechnology, equivalence checking, threshold logic |
| 1 | Karthik Channakeshava, Kaigui Bian, Michael S. Hsiao, Jung-Min Park 0001, Robert E. Crossler, France Belanger, Payal Aggarwal, Janine Hiller |
On Providing Automatic Parental Consent over Information Collection from Children. |
Security and Management |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mainak Banga, Michael S. Hsiao |
A Region Based Approach for the Identification of Hardware Trojans. |
HOST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Fang, Michael S. Hsiao |
A Fast Approximation Algorithm for MIN-ONE SAT. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weixin Wu, Michael S. Hsiao |
Efficient Design Validation Based on Cultural Algorithms. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xueqi Cheng, Michael S. Hsiao |
Simulation-Directed Invariant Mining for Software Verification. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shianling Wu, Laung-Terng Wang, Zhigang Jiang, Jiayong Song, Boryau Sheu, Xiaoqing Wen, Michael S. Hsiao, James Chien-Mo Li, Jiun-Lang Huang, Ravi Apte |
On Optimizing Fault Coverage, Pattern Count, and ATPG Run Time Using a Hybrid Single-Capture Scheme for Testing Scan Designs. |
DFT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shrirang M. Yardi, Michael S. Hsiao |
Quantifying the energy efficiency of coordinated micro-architectural adaptation for multimedia workloads. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xueqi Cheng, Michael S. Hsiao |
Ant Colony Optimization directed program abstraction for software bounded model checking. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoding Chen, Michael S. Hsiao |
An Overlapping Scan Architecture for Reducing Both Test Time and Test Power by Pipelining Fault Detection. |
IEEE Trans. VLSI Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Li, Lei Fang, Michael S. Hsiao |
Efficient power droop aware delay fault testing. |
ITC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Parikh, Weixin Wu, Michael S. Hsiao |
Mining-guided state justification with partitioned navigation tracks. |
ITC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael S. Hsiao, France Belanger, Janine Hiller, Payal Aggarwal, Karthik Channakeshava, Kaigui Bian, Jung-Min Park 0001 |
Parents and the Internet: Privacy Awareness, Practices and Control. |
AMCIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vishnu C. Vimjam, Enamul Amyeen, Ruifeng Guo, Srikanth Venkataraman, Michael S. Hsiao, Kai Yang |
Using Scan-Dump Values to Improve Functional-Diagnosis Methodology. |
VTS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vishnu C. Vimjam, Michael S. Hsiao |
Explicit Safety Property Strengthening in SAT-based Induction. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Fang, Michael S. Hsiao |
A new hybrid solution to boost SAT solver performance. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nannan He, Michael S. Hsiao |
Bounded model checking of embedded software in wireless cognitive radio systems. |
ICCD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoding Chen, Michael S. Hsiao |
Testing Embedded Sequential Cores in Parallel Using Spectrum-Based BIST. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
built-in-self-test, System-on-a-chip, spectral analysis |
| 1 | Qingwei Wu, Michael S. Hsiao |
A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
verification, Automatic test pattern generation (ATPG), satisfiability, logic-simulation |
| 1 | Qingwei Wu, Michael S. Hsiao |
State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhang, Indradeep Ghosh, Michael S. Hsiao |
A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manan Syal, Michael S. Hsiao |
New techniques for untestable fault identification in sequential circuits. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoding Chen, Michael S. Hsiao |
Characteristic States and Cooperative Game Based Search for Efficient Sequential ATPG and Design Validation. |
ITC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manan Syal, Kameshwar Chandrasekar, Vishnu C. Vimjam, Michael S. Hsiao, Yi-Shing Chang, Sreejit Chakravarty |
A Study of Implication Based Pseudo Functional Testing. |
ITC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Weixin Wu, Michael S. Hsiao |
Mining global constraints for improving bounded sequential equivalence checking. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
multi-node constraint, SAT, mining |
| 1 | Vishnu C. Vimjam, Michael S. Hsiao |
Fast illegal state identification for improving SAT-based induction. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
learning, ATPG, SAT, induction |
| 1 | Vishnu C. Vimjam, Michael S. Hsiao |
Efficient Fault Collapsing via Generalized Dominance Relations. |
VTS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Fang, Michael S. Hsiao |
Bilateral Testing of Nano-scale Fault-tolerant Circuits. |
DFT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kameshwar Chandrasekar, Michael S. Hsiao |
Implicit Search-Space Aware Cofactor Expansion: A Novel Preimage Computation Technique. |
ICCD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran |
Efficient techniques for transition testing. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
test chain, test data volume reduction, transition faults, Test application time reduction, yield loss |
| 1 | Anand L. D'Souza, Michael S. Hsiao |
Error Diagnosis of Sequential Circuits Using Region-Based Model. |
J. Electronic Testing |
2005 |
DBLP DOI BibTeX RDF |
non-enumerative, diagnosis, sequential, region-based |
| 1 | Xiao Liu, Michael S. Hsiao |
A Novel Transition Fault ATPG That Reduces Yield Loss. |
IEEE Design & Test of Computers |
2005 |
DBLP DOI BibTeX RDF |
Hardware I Computing Methodologies |
| 1 | Xueqi Cheng, Michael S. Hsiao |
Region-level approximate computation reuse for power reduction in multimedia applications. |
ISLPED |
2005 |
DBLP DOI BibTeX RDF |
approximate computation reuse, critical sequence, low-power design |
| 1 | Manan Syal, Michael S. Hsiao, Suriyaprakash Natarajan, Sreejit Chakravarty |
Untestable Multi-Cycle Path Delay Faults in Industrial Designs. |
Asian Test Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald P. Lajaunie, Michael S. Hsiao |
An effective and efficient ATPG-based combinational equivalence checker. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
verification, ATPG, equivalence checking |
| 1 | Vishnu C. Vimjam, Manan Syal, Michael S. Hsiao |
Untestable fault identification through enhanced necessary value assignments. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
implications, untestable faults |
| 1 | Kameshwar Chandrasekar, Michael S. Hsiao |
Forward image computation with backtracing ATPG and incremental state-set construction. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
model checking, ATPG, image computation, ZBDDs |
| 1 | Daniel C. Nash, Thomas L. Martin, Dong S. Ha, Michael S. Hsiao |
Towards an Intrusion Detection System for Battery Exhaustion Attacks on Mobile Computing Devices. |
PerCom Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle |
Dynamic abstraction using SAT-based BMC. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
model checking, SAT, abstraction refinement |
| 1 | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao |
Interleaved Invariant Checking with Dynamic Abstraction. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kameshwar Chandrasekar, Michael S. Hsiao |
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kameshwar Chandrasekar, Michael S. Hsiao |
Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shrirang M. Yardi, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha |
Quality-Driven Proactive Computation Elimination for Power-Aware Multimedia Processing. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kameshwar Chandrasekar, Michael S. Hsiao |
State Set Management for SAT-based Unbounded Model Checking. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manan Syal, Rajat Arora, Michael S. Hsiao |
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha |
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajat Arora, Michael S. Hsiao |
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking. |
J. UCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Shuo Sheng, Michael S. Hsiao |
Success-Driven Learning in ATPG for Preimage Computation. |
IEEE Design & Test of Computers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingwei Wu, Michael S. Hsiao |
State Variable Extraction to Reduce Problem Complexity for ATPG and Design Validation. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kameshwar Chandrasekar, Michael S. Hsiao |
Decision Selection and Learning for an All-Solutions ATPG Engine. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manan Syal, Michael S. Hsiao, Sreejit Chakravarty |
Identifying Untestable Transition Faults in Latch Based Designs with Multiple Clocks. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Gupta, Michael S. Hsiao |
ALAPTF: A new Transition Faultmodel and the ATPG Algorithm. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas L. Martin, Michael S. Hsiao, Dong S. Ha, Jayan Krishnaswami |
Denial-of-Service Attacks on Battery-powered Mobile Computers. |
PerCom |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingwei Wu, Michael S. Hsiao |
Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories. |
VTS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manan Syal, Michael S. Hsiao |
Untestable Fault Identification using Recurrence Relations and Impossible Value Assignments. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain |
Can SAT be used to Improve Sequential ATPG Methods? |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajat Arora, Michael S. Hsiao |
Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Li, Michael S. Hsiao, Shuo Sheng |
A Novel SAT All-Solutions Solver for Efficient Preimage Computation. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao |
Incremental deductive & inductive reasoning for SAT-based bounded model checking. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran |
Efficient Transition Fault ATPG Algorithms Based on Stuck-At Test Vectors. |
J. Electronic Testing |
2003 |
DBLP DOI BibTeX RDF |
stuck-at vectors, delay testing, transition fault |
| 1 | Puneet Gupta, Michael S. Hsiao |
High Quality ATPG for Delay Defects. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhang, Indradeep Ghosh, Michael S. Hsiao |
Efficient Sequential ATPG for Functional RTL Circuits. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")