Michael S. Hsiao

233 papers A* 6A 52B 9C 14Misc 31Journal 40Unranked 80
YearRankTypeTitle / Venue / Authors
2023 — conf
Validatable Generation of System Verilog Assertions from Natural Language Specifications.
TransAI
Aditi, Michael S. Hsiao
2022 — conf
A Hybrid Approach for Automatic Feedback Generation in Natural Language Programming.
TransAI
Yue Zhan, Michael S. Hsiao
2022 C conf
Automated Suggestions Framework for Processing Hardware Specifications Written in English.
FDL
Rahul Krishnamurthy, Michael S. Hsiao
2022 — conf
Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications.
ATS
Aditi, Michael S. Hsiao
2021 — conf
Formal Validation for Natural Language Programming using Hierarchical Finite State Automata.
ICAART (1)
Yue Zhan, Michael S. Hsiao
2020 A conf
Automated Assertion Generation from Natural Language Specifications.
ITC
Steven J. Frederiksen, John Aromando, Michael S. Hsiao
2020 — conf
Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming.
AI*IA
Yue Zhan, Michael S. Hsiao
2020 — conf
Breaking Down High-level Robot Path-Finding Abstractions in Natural Language Programming.
NL4AI@AI*IA
Yue Zhan, Michael S. Hsiao
2020 C conf
Transforming Natural Language Specifications to Logical Forms for Hardware Verification.
ICCD
Rahul Krishnamurthy, Michael S. Hsiao
2019 — conf
Controlled Natural Language Framework for Generating Assertions from Hardware Specifications.
ICSC
Rahul Krishnamurthy, Michael S. Hsiao
2019 B conf
EASE: Enabling Hardware Assertion Synthesis from English.
RuleML+RR
Rahul Krishnamurthy, Michael S. Hsiao
2018 — conf
A Natural Language Programming Application for Lego Mindstorms EV3.
AIVR
Yue Zhan, Michael S. Hsiao
2018 — conf
An online framework for diagnosis of multiple defects in scan chains.
ISQED
Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan
2018 — conf
Automated Program Synthesis from Object-Oriented Natural Language for Computer Games.
CNL
Michael S. Hsiao
2018 Misc conf
Fast fault coverage estimation of sequential tests using entropy measurements.
VTS
Michael S. Hsiao, Sarmad Tanwir
2018 C conf
Optimization of Mutant Space for RTL Test Generation.
ICCD
Kunal Bansal, Michael S. Hsiao
2017 — conf
A Test Pattern Quality Metric for Diagnosis of Multiple Stuck-at and Transition faults.
ACM Great Lakes Symposium on VLSI
Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan
2017 Misc conf
A framework for fast test generation at the RTL.
VTS
Kelson Gent, Akash Agrawal, Michael S. Hsiao
2017 C conf
Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance.
ICCD
Sonal Pinto, Michael S. Hsiao
2017 A conf
RTL functional test generation using factored concolic execution.
ITC
Sonal Pinto, Michael S. Hsiao
2016 — conf
A control path aware metric for grading functional test vectors.
LATS
Kelson Gent, Michael S. Hsiao
2016 A conf
Dynamic partitioning strategy to enhance symbolic execution.
DATE
Brendan A. Marcellino, Michael S. Hsiao
2016 — conf
Fast Multi-level Test Generation at the RTL.
ISVLSI
Kelson Gent, Michael S. Hsiao
2016 — conf
Hardware-in-the-loop model-less diagnostic test generation.
HLDVT
Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan
2015 Misc conf
Abstraction-based relation mining for functional test generation.
VTS
Kelson Gent, Michael S. Hsiao
2015 B conf
Branch guided functional test generation at the RTL.
ETS
Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
2015 — conf
Fast Stimuli Generation for Design Validation of RTL Circuits Using Binary Particle Swarm Optimization.
ISVLSI
Prateek Puri, Michael S. Hsiao
2015 A conf
Information-theoretic and statistical methods of failure log selection for improved diagnosis.
ITC
Sarmad Tanwir, Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan
2015 — conf
Novel SAT-based invariant-directed low-power synthesis.
ISQED
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa ElNainay
2015 C conf
SI-SMART: Functional test generation for RTL circuits using loop abstraction and learning recurrence relationships.
ICCD
Prateek Puri, Michael S. Hsiao
2015 — conf
Signal domain based reachability analysis in RTL circuits.
ISQED
Sharad Bagri, Kelson Gent, Michael S. Hsiao
2014 A conf
A diagnosis-friendly LBIST architecture with property checking.
ITC
Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
2014 — conf
Dual-Purpose Mixed-Level Test Generation Using Swarm Intelligence.
ATS
Kelson Gent, Michael S. Hsiao
2014 B conf
GPU-based timing-aware test generation for small delay defects.
ETS
Kuan-Yu Liao, Po-Juei Chen, Ang-Feng Lin, James Chien-Mo Li, Michael S. Hsiao, Laung-Terng Wang
2014 J jnl
Hardware Trojan Attacks: Threat Analysis and Countermeasures.
Proc. IEEE
Swarup Bhunia, Michael S. Hsiao, Mainak Banga, Seetharam Narasimhan
2014 B conf
Property-checking based LBIST for improved diagnosability.
ETS
Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
2014 A* conf
TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis.
DAC
Mahmoud Elbayoumi, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Michael S. Hsiao, Mustafa Y. ElNainay
2013 A conf
A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms.
DATE
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay
2013 — conf
A novel statistical and circuit-based technique for counterfeit detection in existing ICs.
ACM Great Lakes Symposium on VLSI
Rashmi Moudgil, Dinesh Ganta, Leyla Nazhandali, Michael S. Hsiao, Chao Wang, T. Simin Hall
2013 — conf
Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking.
Asian Test Symposium
Kelson Gent, Michael S. Hsiao
2013 — conf
Interlocking obfuscation for anti-tamper hardware.
CSIIRW
Avinash R. Desai, Michael S. Hsiao, Chao Wang, Leyla Nazhandali, T. Simin Hall
2013 A conf
LFSR seed computation and reduction using SMT-based fault-chaining.
DATE
Dhrumeel Bakshi, Michael S. Hsiao
2013 J jnl
POCKET: A tool for protecting children's privacy online.
Decis. Support Syst.
France Bélanger, Robert E. Crossler, Janine S. Hiller, Jung-Min Park, Michael S. Hsiao
2013 J jnl
Protection Against Hardware Trojan Attacks: Towards a Comprehensive Solution.
IEEE Des. Test
Swarup Bhunia, Miron Abramovici, Dakshi Agrawal, Paul Bradley, Michael S. Hsiao, Jim Plusquellic, Mohammad Tehranipoor
2013 C conf
Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking.
ICCD
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay
2013 — conf
Set-cover-based critical implications selection to improvesat-based bounded model checking: extended abstract.
ACM Great Lakes Symposium on VLSI
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay
2013 B conf
Test generation for circuits with embedded memories using SMT.
ETS
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
2012 Misc conf
A Novel SMT-Based Technique for LFSR Reseeding.
VLSI Design
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
2012 Misc conf
A SMT-based diagnostic test generation method for combinational circuits.
VTS
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
2012 A conf
A scan pattern debugger for partial scan industrial designs.
DATE
Kameshwar Chandrasekar, Supratik K. Misra, Sanjay Sengupta, Michael S. Hsiao
2012 A conf
Design validation of RTL circuits using evolutionary swarm intelligence.
ITC
Min Li, Kelson Gent, Michael S. Hsiao
2012 J jnl
Launch-on-Shift Test Generation for Testing Scan Designs Containing Synchronous and Asynchronous Clock Domains.
ACM Trans. Design Autom. Electr. Syst.
Shianling Wu, Laung-Terng Wang, Xiaoqing Wen, Wen-Ben Jone, Michael S. Hsiao, Fangfang Li, James Chien-Mo Li, Jiun-Lang Huang
2012 A conf
RAG: An efficient reliability analysis of logic circuits on graphics processing units.
DATE
Min Li, Michael S. Hsiao
2012 J jnl
Reducing descriptor measurement error through Bayesian estimation of fingerprint minutia location and direction.
IET Biom.
Nathan J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
2012 — conf
Robust feature extraction in fingerprint images using ridge model tracking.
BTAS
Nathaniel J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
2012 — conf
Sequential equivalence checking of hard instances with targeted inductive invariants and efficient filtering strategies.
HLDVT
Huy Nguyen, Michael S. Hsiao
2012 — conf
Temporal analysis of fingerprint impressions.
BTAS
Nathaniel J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
2011 J jnl
3-D Parallel Fault Simulation With GPGPU.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Min Li, Michael S. Hsiao
2011 B conf
A Bayesian approach to fingerprint minutia localization and quality assessment using adaptable templates.
IJCB
Nathan J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
2011 Misc conf
A Novel Learning Framework for State Space Exploration Based on Search State Extensibility Relation.
VLSI Design
Maheshwar Chandrasekar, Michael S. Hsiao
2011 — conf
An Efficient 2-Phase Strategy to Achieve High Branch Coverage.
Asian Test Symposium
Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy
2011 A conf
Design-for-test methodology for non-scan at-speed testing.
DATE
Mainak Banga, Nikhil P. Rahagude, Michael S. Hsiao
2011 B conf
Experiment and Analysis Services in a Fingerprint Digital Library for Collaborative Research.
TPDL
Sung Hee Park, Jonathan Leidig, Lin Tzy Li, Edward A. Fox, Nathan J. Short, Kevin E. Hoyle, A. Lynn Abbott, Michael S. Hsiao
2011 Misc conf
Fault Collapsing Using a Novel Extensibility Relation.
VLSI Design
Maheshwar Chandrasekar, Michael S. Hsiao
2011 B conf
High-Performance Diagnostic Fault Simulation on GPUs.
ETS
Min Li, Michael S. Hsiao
2011 — conf
Latent fingerprint segmentation using ridge template correlation.
ICDP
Nathan J. Short, Michael S. Hsiao, A. Lynn Abbott, Edward A. Fox
2011 — conf
Minutiae + friction ridges = triplet-based features for determining sufficiency in fingerprints.
ICDP
Kevin E. Hoyle, Nathan J. Short, Michael S. Hsiao, A. Lynn Abbott, Edward A. Fox
2011 — conf
ODETTE: A non-scan design-for-test methodology for Trojan detection in ICs.
HOST
Mainak Banga, Michael S. Hsiao
2011 J jnl
Strategies for scalable symbolic execution-driven test generation for programs.
Sci. China Inf. Sci.
Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan
2011 — conf
Sufficiency-based filtering of invariants for Sequential Equivalence Checking.
HLDVT
Wei Hu, Huy Nguyen, Michael S. Hsiao
2011 Misc conf
Trace Buffer-Based Silicon Debug with Lossless Compression.
VLSI Design
Sandesh Prabhakar, Rajamani Sethuram, Michael S. Hsiao
2011 J jnl
Using Launch-on-Capture for Testing Scan Designs Containing Synchronous and Asynchronous Clock Domains.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
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
2011 — conf
Utilizing GPGPUs for design validation with a modified Ant Colony Optimization.
HLDVT
Min Li, Kelson Gent, Michael S. Hsiao
2010 — conf
DFT + DFD: An Integrated Method for Design for Testability and Diagnosability.
Asian Test Symposium
Nikhil P. Rahagude, Maheshwar Chandrasekar, Michael S. Hsiao
2010 — conf
FSimGP^2: An Efficient Fault Simulator with GPGPU.
Asian Test Symposium
Min Li, Michael S. Hsiao
2010 — conf
Mining Complex Boolean Expressions for Sequential Equivalence Checking.
Asian Test Symposium
Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, Mohammed J. Zaki
2010 — conf
Multiplexed trace signal selection using non-trivial implication-based correlation.
ISQED
Sandesh Prabhakar, Michael S. Hsiao
2010 A conf
Reversible logic synthesis through ant colony optimization.
DATE
Min Li, Yexin Zheng, Michael S. Hsiao, Chao Huang
2010 J jnl
Search State Compatibility Based Incremental Learning Framework and Output Deviation Based X-filling for Diagnostic Test Generation.
J. Electron. Test.
Maheshwar Chandrasekar, Nikhil P. Rahagude, Michael S. Hsiao
2010 — conf
Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs.
Asian Test Symposium
Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan
2010 — conf
Trusted RTL: Trojan Detection Methodology in Pre-silicon Designs.
HOST
Mainak Banga, Michael S. Hsiao
2009 Misc conf
A Novel Sustained Vector Technique for the Detection of Hardware Trojans.
VLSI Design
Mainak Banga, Michael S. Hsiao
2009 A conf
An ant colony optimization technique for abstraction-guided state justification.
ITC
Min Li, Michael S. Hsiao
2009 A conf
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification.
DATE
Nannan He, Michael S. Hsiao
2009 J jnl
Cognitive Radio and Networking Research at Virginia Tech.
Proc. IEEE
Allen B. MacKenzie, Jeffrey H. Reed, Peter M. Athanas, Charles W. Bostian, R. Michael Buehrer, Luiz A. DaSilva, Steven W. Ellingson, Y. Thomas Hou, Michael S. Hsiao, Jung-Min Park, Cameron D. Patterson, Sanjay Raman, Claudio R. C. M. da Silva
2009 — conf
Diagnostic Test Generation for silicon diagnosis with an incremental learning framework based on search state compatibility.
HLDVT
Maheshwar Chandrasekar, Michael S. Hsiao
2009 — conf
Evaluation of Online Resources in Assisting Phishing Detection.
SAINT
Kaigui Bian, Jung-Min Park, Michael S. Hsiao, France Bélanger, Janine S. Hiller
2009 A conf
Fast circuit topology based method to configure the scan chains in Illinois Scan architecture.
ITC
Swapneel Donglikar, Mainak Banga, Maheshwar Chandrasekar, Michael S. Hsiao
2009 — conf
Kiss the Scan Goodbye: A Non-scan Architecture for High Coverage, Low Test Data Volume and Low Test Application Time.
Asian Test Symposium
Michael S. Hsiao, Mainak Banga
2009 — conf
Using Non-trivial Logic Implications for Trace Buffer-Based Silicon Debug.
Asian Test Symposium
Sandesh Prabhakar, Michael S. Hsiao
2009 — conf
VITAMIN: Voltage Inversion Technique to Ascertain Malicious Insertions in ICs.
HOST
Mainak Banga, Michael S. Hsiao
2008 A conf
A Fast Approximation Algorithm for MIN-ONE SAT.
DATE
Lei Fang, Michael S. Hsiao
2008 J jnl
A New Scan Architecture for Both Low Power Testing and Test Volume Compression Under SOC Test Environment.
J. Electron. Test.
Hong-Sik Kim, Sungho Kang, Michael S. Hsiao
2008 — conf
A Region Based Approach for the Identification of Hardware Trojans.
HOST
Mainak Banga, Michael S. Hsiao
2008 C conf
Ant Colony Optimization directed program abstraction for software bounded model checking.
ICCD
Xueqi Cheng, Michael S. Hsiao
2008 J jnl
Bilateral Testing of Nano-scale Fault-Tolerant Circuits.
J. Electron. Test.
Lei Fang, Michael S. Hsiao
2008 J jnl
Boosting SAT Solver Performance via a New Hybrid Approach.
J. Satisf. Boolean Model. Comput.
Lei Fang, Michael S. Hsiao
2008 A conf
Efficient Design Validation Based on Cultural Algorithms.
DATE
Weixin Wu, Michael S. Hsiao
2008 — conf
Guided test generation for isolation and detection of embedded trojans in ics.
ACM Great Lakes Symposium on VLSI
Mainak Banga, Maheshwar Chandrasekar, Lei Fang, Michael S. Hsiao
2008 J jnl
Introduction to special section on high-level design, validation, and test.
ACM Trans. Design Autom. Electr. Syst.
Michael S. Hsiao, Robert B. Jones
2008 J jnl
Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Weixin Wu, Michael S. Hsiao
2008 — conf
On Optimizing Fault Coverage, Pattern Count, and ATPG Run Time Using a Hybrid Single-Capture Scheme for Testing Scan Designs.
DFT
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
2008 — conf
On Providing Automatic Parental Consent over Information Collection from Children.
Security and Management
Karthik Channakeshava, Kaigui Bian, Michael S. Hsiao, Jung-Min Park, Robert E. Crossler, France Bélanger, Payal Aggarwal, Janine S. Hiller
2008 — conf
On dynamic switching of navigation for semi-formal design validation.
HLDVT
Ankur Parikh, Michael S. Hsiao
2008 C conf
Quantifying the energy efficiency of coordinated micro-architectural adaptation for multimedia workloads.
ICCD
Shrirang M. Yardi, Michael S. Hsiao
2008 A conf
SAT-based State Justification with Adaptive Mining of Invariants.
ITC
Weixin Wu, Michael S. Hsiao
2008 — conf
SAT-based equivalence checking of threshold logic designs for nanotechnologies.
ACM Great Lakes Symposium on VLSI
Yexin Zheng, Michael S. Hsiao, Chao Huang
2008 A conf
Simulation-Directed Invariant Mining for Software Verification.
DATE
Xueqi Cheng, Michael S. Hsiao
2007 A conf
A new hybrid solution to boost SAT solver performance.
DATE
Lei Fang, Michael S. Hsiao
2007 J jnl
An Overlapping Scan Architecture for Reducing Both Test Time and Test Power by Pipelining Fault Detection.
IEEE Trans. Very Large Scale Integr. Syst.
Xiaoding Chen, Michael S. Hsiao
2007 C conf
Bounded model checking of embedded software in wireless cognitive radio systems.
ICCD
Nannan He, Michael S. Hsiao
2007 A conf
Efficient power droop aware delay fault testing.
ITC
Bin Li, Lei Fang, Michael S. Hsiao
2007 Misc conf
Explicit Safety Property Strengthening in SAT-based Induction.
VLSI Design
Vishnu C. Vimjam, Michael S. Hsiao
2007 — conf
Integrating Validation and Verification in the Digital Design Curriculum.
MSE
Shrirang M. Yardi, Michael S. Hsiao
2007 — conf
Mining Sequential Constraints for Pseudo-Functional Testing.
ATS
Weixin Wu, Michael S. Hsiao
2007 A conf
Mining-guided state justification with partitioned navigation tracks.
ITC
Ankur Parikh, Weixin Wu, Michael S. Hsiao
2007 — conf
Parents and the Internet: Privacy Awareness, Practices and Control.
AMCIS
Michael S. Hsiao, France Bélanger, Janine S. Hiller, Payal Aggarwal, Karthik Channakeshava, Kaigui Bian, Jung-Min Park
2007 Misc conf
Using Scan-Dump Values to Improve Functional-Diagnosis Methodology.
VTS
Vishnu C. Vimjam, M. Enamul Amyeen, Ruifeng Guo, Srikanth Venkataraman, Michael S. Hsiao, Kai Yang
2006 J jnl
A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Liang Zhang, Indradeep Ghosh, Michael S. Hsiao
2006 J jnl
A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal.
IEEE Trans. Computers
Qingwei Wu, Michael S. Hsiao
2006 A conf
A Study of Implication Based Pseudo Functional Testing.
ITC
Manan Syal, Kameshwar Chandrasekar, Vishnu C. Vimjam, Michael S. Hsiao, Yi-Shing Chang, Sreejit Chakravarty
2006 — conf
Bilateral Testing of Nano-scale Fault-tolerant Circuits.
DFT
Lei Fang, Michael S. Hsiao
2006 A conf
Characteristic States and Cooperative Game Based Search for Efficient Sequential ATPG and Design Validation.
ITC
Xiaoding Chen, Michael S. Hsiao
2006 Misc conf
Efficient Fault Collapsing via Generalized Dominance Relations.
VTS
Vishnu C. Vimjam, Michael S. Hsiao
2006 A* conf
Fast illegal state identification for improving SAT-based induction.
DAC
Vishnu C. Vimjam, Michael S. Hsiao
2006 C conf
Implicit Search-Space Aware Cofactor Expansion: A Novel Preimage Computation Technique.
ICCD
Kameshwar Chandrasekar, Michael S. Hsiao
2006 A* conf
Mining global constraints for improving bounded sequential equivalence checking.
DAC
Weixin Wu, Michael S. Hsiao
2006 J jnl
New techniques for untestable fault identification in sequential circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Manan Syal, Michael S. Hsiao
2006 J jnl
State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Qingwei Wu, Michael S. Hsiao
2006 J jnl
Testing Embedded Sequential Cores in Parallel Using Spectrum-Based BIST.
IEEE Trans. Computers
Xiaoding Chen, Michael S. Hsiao
2005 C conf
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management.
ICCD
Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha
2005 J jnl
A Novel Transition Fault ATPG That Reduces Yield Loss.
IEEE Des. Test Comput.
Xiao Liu, Michael S. Hsiao
2005 — conf
A new simulation-based property checking algorithm based on partitioned alternative search space traversal.
HLDVT
Qingwei Wu, Michael S. Hsiao
2005 — conf
An effective and efficient ATPG-based combinational equivalence checker.
ACM Great Lakes Symposium on VLSI
Ronald P. Lajaunie, Michael S. Hsiao
2005 A* conf
Dynamic abstraction using SAT-based BMC.
DAC
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle
2005 J jnl
Efficient techniques for transition testing.
ACM Trans. Design Autom. Electr. Syst.
Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran
2005 J jnl
Error Diagnosis of Sequential Circuits Using Region-Based Model.
J. Electron. Test.
Anand L. D'Souza, Michael S. Hsiao
2005 C conf
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults.
ICCD
Manan Syal, Rajat Arora, Michael S. Hsiao
2005 — conf
Forward image computation with backtracing ATPG and incremental state-set construction.
ACM Great Lakes Symposium on VLSI
Kameshwar Chandrasekar, Michael S. Hsiao
2005 — conf
Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking.
HLDVT
Vishnu C. Vimjam, Michael S. Hsiao
2005 A conf
Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation.
DATE
Kameshwar Chandrasekar, Michael S. Hsiao
2005 — conf
Interleaved Invariant Checking with Dynamic Abstraction.
CHARME
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao
2005 Misc conf
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs.
VLSI Design
Kameshwar Chandrasekar, Michael S. Hsiao
2005 A conf
Quality-Driven Proactive Computation Elimination for Power-Aware Multimedia Processing.
DATE
Shrirang M. Yardi, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha
2005 A conf
Region-level approximate computation reuse for power reduction in multimedia applications.
ISLPED
Xueqi Cheng, Michael S. Hsiao
2005 C conf
State Set Management for SAT-based Unbounded Model Checking.
ICCD
Kameshwar Chandrasekar, Michael S. Hsiao
2005 — conf
Towards an Intrusion Detection System for Battery Exhaustion Attacks on Mobile Computing Devices.
PerCom Workshops
Daniel C. Nash, Thomas L. Martin, Dong S. Ha, Michael S. Hsiao
2005 — conf
Untestable Multi-Cycle Path Delay Faults in Industrial Designs.
Asian Test Symposium
Manan Syal, Michael S. Hsiao, Suriyaprakash Natarajan, Sreejit Chakravarty
2005 — conf
Untestable fault identification through enhanced necessary value assignments.
ACM Great Lakes Symposium on VLSI
Vishnu C. Vimjam, Manan Syal, Michael S. Hsiao
2005 — conf
VERISEC: verifying equivalence of sequential circuits using SAT.
HLDVT
Manan Syal, Michael S. Hsiao
2004 A conf
A Novel SAT All-Solutions Solver for Efficient Preimage Computation.
DATE
Bin Li, Michael S. Hsiao, Shuo Sheng
2004 A conf
ALAPTF: A new Transition Faultmodel and the ATPG Algorithm.
ITC
Puneet Gupta, Michael S. Hsiao
2004 — conf
CNF formula simplification using implication reasoning.
HLDVT
Rajat Arora, Michael S. Hsiao
2004 Misc conf
Can SAT be used to Improve Sequential ATPG Methods?
VLSI Design
Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain
2004 A conf
Decision Selection and Learning for an All-Solutions ATPG Engine.
ITC
Kameshwar Chandrasekar, Michael S. Hsiao
2004 A* conf
Denial-of-Service Attacks on Battery-powered Mobile Computers.
PerCom
Thomas L. Martin, Michael S. Hsiao, Dong S. Ha, Jayan Krishnaswami
2004 Misc conf
Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories.
VTS
Qingwei Wu, Michael S. Hsiao
2004 Misc conf
Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications.
VLSI Design
Rajat Arora, Michael S. Hsiao
2004 A conf
Identifying Untestable Transition Faults in Latch Based Designs with Multiple Clocks.
ITC
Manan Syal, Michael S. Hsiao, Sreejit Chakravarty
2004 A conf
Incremental deductive & inductive reasoning for SAT-based bounded model checking.
ICCAD
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao
2004 — conf
On identifying functionally untestable transition faults.
HLDVT
Xiao Liu, Michael S. Hsiao
2004 A conf
State Variable Extraction to Reduce Problem Complexity for ATPG and Design Validation.
ITC
Qingwei Wu, Michael S. Hsiao
2004 J jnl
Success-Driven Learning in ATPG for Preimage Computation.
IEEE Des. Test Comput.
Shuo Sheng, Michael S. Hsiao
2004 Misc conf
Untestable Fault Identification using Recurrence Relations and Impossible Value Assignments.
VLSI Design
Manan Syal, Michael S. Hsiao
2004 J jnl
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking.
J. Univers. Comput. Sci.
Rajat Arora, Michael S. Hsiao
2003 A conf
A Novel, Low-Cost Algorithm for Sequentially Untestable Fault Identification.
DATE
Manan Syal, Michael S. Hsiao
2003 — conf
ATPG-based preimage computation: efficient search space pruning with ZBDD.
HLDVT
Kameshwar Chandrasekar, Michael S. Hsiao
2003 — conf
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG.
Asian Test Symposium
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh
2003 — conf
Constrained ATPG for Broadside Transition Testing.
DFT
Xiao Liu, Michael S. Hsiao
2003 Misc conf
Efficient Implication - Based Untestable Bridge Fault Identifier.
VTS
Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, Sreejit Chakravarty
2003 A conf
Efficient Preimage Computation Using A Novel Success-Driven ATPG.
DATE
Shuo Sheng, Michael S. Hsiao
2003 A conf
Efficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal.
ITC
Qingwei Wu, Michael S. Hsiao
2003 A conf
Efficient Sequential ATPG for Functional RTL Circuits.
ITC
Liang Zhang, Indradeep Ghosh, Michael S. Hsiao
2003 J jnl
Efficient Transition Fault ATPG Algorithms Based on Stuck-At Test Vectors.
J. Electron. Test.
Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran
2003 Misc conf
Energy-Efficient Logic BIST Based on State Correlation Analysis.
VTS
Xiaoding Chen, Michael S. Hsiao
2003 — conf
Enhancing SAT-based equivalence checking with static logic implications.
HLDVT
Rajat Arora, Michael S. Hsiao
2003 A conf
High Quality ATPG for Delay Defects.
ITC
Puneet Gupta, Michael S. Hsiao
2002 — conf
A Hardware Architecture for Dynamic Performance and Energy Adaptation.
PACS
Phillip Stanley-Marbell, Michael S. Hsiao, Ulrich Kremer
2002 J jnl
Behavioral-Level DFT via Formal Operator Testability Measures.
J. Electron. Test.
Sandhya Seshadri, Michael S. Hsiao
2002 A conf
Characteristic faults and spectral information for logic BIST.
ICCAD
Xiaoding Chen, Michael S. Hsiao
2002 A* conf
Effective safety property checking using simulation-based sequential ATPG.
DAC
Shuo Sheng, Koichiro Takayama, Michael S. Hsiao
2002 J jnl
Efficient Sequential Test Generation Based on Logic Simulation.
IEEE Des. Test Comput.
Shuo Sheng, Michael S. Hsiao
2002 J jnl
Genetic Spot Optimization for Peak Power Estimation in Large VLSI Circuits.
VLSI Design
Michael S. Hsiao
2002 — conf
Improving Sequential ATPG Using SAT Methods.
IWLS
Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain
2002 A conf
Maximizing Impossibilities for Untestable Fault Identification.
DATE
Michael S. Hsiao
2002 — conf
Novel ATPG algorithms for transition faults.
ETW
Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran
2002 B conf
Reducing Power Consumption by Utilizing Retransmission in Short Range Wireless Network.
LCN
Yufeng Zhao, Michael S. Hsiao
2002 Misc conf
Spectrum-Based BIST in Complex SOCs.
VTS
Ganapathy Kasturirangan, Michael S. Hsiao
2002 J jnl
State and Fault Information for Compaction-Based Test Generation.
J. Electron. Test.
Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal
2002 A conf
Techniques to Reduce Data Volume and Application Time for Transition Test.
ITC
Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran
2001 Misc conf
Accurate Power Macro-modeling Techniques for Complex RTL Circuits.
VLSI Design
Nachiketh R. Potlapally, Michael S. Hsiao, Anand Raghunathan, Ganesh Lakshminarayana, Srimat T. Chakradhar
2001 Misc conf
Combination of Structural and State Analysis for Partial Scan.
VLSI Design
Sameer Sharma, Michael S. Hsiao
2001 A conf
Compiler-directed dynamic voltage/frequency scheduling for energy reduction in mircoprocessors.
ISLPED
Chung-Hsing Hsu, Ulrich Kremer, Michael S. Hsiao
2001 A conf
Efficient spectral techniques for sequential ATPG.
DATE
Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal
2001 Misc conf
Error Diagnosis of Sequential Circuits Using Region-Based Mode.
VLSI Design
Anand L. D'Souza, Michael S. Hsiao
2001 J jnl
Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling.
Int. J. Parallel Program.
Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder
2001 A conf
Fast, flexible, cycle-accurate energy estimation.
ISLPED
Phillip Stanley-Marbell, Michael S. Hsiao
2001 Misc conf
Novel Spectral Methods for Built-In Self-Test in a System-on-a-Chip Environment.
VTS
Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal
2001 A conf
On efficient error diagnosis of digital circuits.
ITC
Nandini Sridhar, Michael S. Hsiao
2001 — conf
Practical use of sequential ATPG for model checking: going the extra mile does pay off.
HLDVT
Michael S. Hsiao, Jawahar Jain
2000 — conf
Compaction-based test generation using state and fault information.
Asian Test Symposium
Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal
2000 — conf
Compiler-Directed Dynamic Frequency and Voltage Scheduling.
PACS
Chung-Hsing Hsu, Ulrich Kremer, Michael S. Hsiao
2000 J jnl
Dynamic state traversal for sequential circuit test generation.
ACM Trans. Design Autom. Electr. Syst.
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
2000 — conf
Embedded core testing using genetic algorithms.
Asian Test Symposium
Ruofan Xu, Michael S. Hsiao
2000 J jnl
Formal Value-Range and Variable Testability Techniques for High-Level Design-For-Testability.
J. Electron. Test.
Sandhya Seshadri, Michael S. Hsiao
2000 — conf
Formal operator testability methods for behavioral-level DFT using value ranges.
HLDVT
Sandhya Seshadri, Michael S. Hsiao
2000 A conf
Multi-Node Static Logic Implications for Redundancy Identification.
DATE
Kabir Gulrajani, Michael S. Hsiao
2000 J jnl
Peak power estimation of VLSI circuits: new peak power measures.
IEEE Trans. Very Large Scale Integr. Syst.
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
2000 J jnl
Test Set Compaction Using Relaxed Subsequence Removal.
J. Electron. Test.
Michael S. Hsiao, Srimat T. Chakradhar
2000 J jnl
Test Set and Fault Partitioning Techniques for Static Test Sequence Compaction for Sequential Circuits.
J. Electron. Test.
Michael S. Hsiao, Srimat T. Chakradhar
2000 Misc conf
Testing, Verification, and Diagnosis in the Presence of Unknowns.
VTS
Ankur Jain, Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Michael S. Hsiao
1999 A conf
An integrated approach to behavioral-level design-for-testability using value-range and variable testability techniques.
ITC
Sandhya Seshadri, Michael S. Hsiao
1999 J jnl
Fast Static Compaction Algorithms for Sequential Circuit Test Vectors.
IEEE Trans. Computers
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1999 — conf
Instruction Scheduling in the Presence of Java's Runtime Exceptions.
LCPC
Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder
1999 J jnl
On Non-Statistical Techniques for Fast Fault Coverage Estimation.
J. Electron. Test.
Michael S. Hsiao
1999 Misc conf
On the Evaluation of Arbitrary Defect Coverage of Test Sets.
VTS
Ankur Jain, Michael S. Hsiao, Vamsi Boppana, Masahiro Fujita
1999 Misc conf
Partial Scan Using Multi-Hop State Reachability Analysis.
VTS
Sameer Sharma, Michael S. Hsiao
1999 A conf
Peak Power Estimation Using Genetic Spot Optimization for Large VLSI Circuits.
DATE
Michael S. Hsiao
1998 A conf
A fast, accurate, and non-statistical method for fault coverage estimation.
ICCAD
Michael S. Hsiao
1998 J jnl
Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1998 Misc conf
Partial Scan Selection Based on Dynamic Reachability and Observability Information.
VLSI Design
Michael S. Hsiao, Gurjeet S. Saund, Elizabeth M. Rudnick, Janak H. Patel
1998 — conf
Partitioning and Reordering Techniques for Static Test Sequence Compaction of Sequential Circuits.
Asian Test Symposium
Michael S. Hsiao, Srimat T. Chakradhar
1998 A conf
State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits.
DATE
Michael S. Hsiao, Srimat T. Chakradhar
1997 A conf
Effects of delay models on peak power estimation of VLSI sequential circuits.
ICCAD
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1997 Misc conf
Fast Algorithms for Static Compaction of Sequential Circuit Test Vectors.
VTS
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1997 A conf
K2: an estimator for peak sustainable power of VLSI circuits.
ISLPED
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1997 Misc conf
Parallel Genetic Algorithms for Simulation-Based Sequential Circuit Test Generation.
VLSI Design
Dilip Krishnaswamy, Michael S. Hsiao, Vikram Saxena, Elizabeth M. Rudnick, Janak H. Patel, Prithviraj Banerjee
1997 — conf
Partial Scan beyond Cycle Cutting.
FTCS
Gurjeet S. Saund, Michael S. Hsiao, Janak H. Patel
1997 — —
Sequential Circuit Test Generation Using Genetic Techniques
Michael S. Hsiao
1997 — conf
Sequential circuit test generation using dynamic state traversal.
ED&TC
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1996 — conf
Alternating Strategies for Sequential Circuit ATPG.
ED&TC
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1996 Misc conf
Automatic test generation using genetically-engineered distinguishing sequences.
VTS
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel
1995 C conf
A new architectural-level fault simulation using propagation prediction of grouped fault-effects.
ICCD
Michael S. Hsiao, Janak H. Patel