His main research concerns Algorithm, Automatic test pattern generation, Sequential logic, Embedded system and Benchmark. His work in Algorithm tackles topics such as Electronic engineering which are related to areas like True quantified Boolean formula. His Automatic test pattern generation research includes elements of Formal equivalence checking, Set, Fault coverage and Stuck-at fault.
His work deals with themes such as Adiabatic circuit, Asynchronous circuit, Computation, Data structure and Test set, which intersect with Sequential logic. He has researched Embedded system in several fields, including Trojan, Intrusion detection system and Computer hardware. The various areas that Michael S. Hsiao examines in his Benchmark study include Silicon debug and Computer engineering.
Michael S. Hsiao focuses on Algorithm, Automatic test pattern generation, Sequential logic, Fault coverage and Theoretical computer science. His Algorithm study combines topics from a wide range of disciplines, such as Set, Speedup and Benchmark. His Automatic test pattern generation research incorporates themes from Combinational logic, Real-time computing, Test set and Stuck-at fault.
His Sequential logic research incorporates elements of Genetic algorithm, Very-large-scale integration, Logic simulation and Identification. Michael S. Hsiao focuses mostly in the field of Fault coverage, narrowing it down to topics relating to Design for testing and, in certain cases, Testability. His work on Bounded function expands to the thematically related Theoretical computer science.
Michael S. Hsiao mainly focuses on Algorithm, Natural language, Code coverage, Parallel computing and Register-transfer level. His Algorithm research is multidisciplinary, incorporating perspectives in Automatic test pattern generation, Process and Fault coverage. His Fault coverage study incorporates themes from Fault grading, Stuck-at fault, Logic simulation and Sequential logic.
He interconnects Entropy and Linear regression in the investigation of issues within Sequential logic. His Parallel computing study combines topics in areas such as Timing closure, Compiler, Computation and Enumeration. His studies in Register-transfer level integrate themes in fields like Computer engineering, Reduction, State, Real-time computing and Control flow.
His primary scientific interests are in Algorithm, Parallel computing, Fault coverage, Automatic test pattern generation and Code coverage. His study in Algorithm is interdisciplinary in nature, drawing from both Digital electronics, Computer engineering and Metric. His Parallel computing research is multidisciplinary, incorporating elements of Enumeration algorithm, Enumeration, Logic synthesis, Timing closure and Computation.
His study focuses on the intersection of Fault coverage and fields such as Swarm intelligence with connections in the field of Value, Logic gate, Rule-based system and Speedup. The concepts of his Code coverage study are interwoven with issues in Graph, Swarm behaviour, Hybrid algorithm, State space and State. His Test compression research incorporates themes from Stuck-at fault, Ant colony optimization algorithms, Sequential logic and Test set.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Hardware Trojan Attacks: Threat Analysis and Countermeasures
Swarup Bhunia;Michael S. Hsiao;Mainak Banga;Seetharam Narasimhan.
Proceedings of the IEEE (2014)
Hardware Trojan Attacks: Threat Analysis and Countermeasures
Swarup Bhunia;Michael S. Hsiao;Mainak Banga;Seetharam Narasimhan.
Proceedings of the IEEE (2014)
A region based approach for the identification of hardware Trojans
M. Banga;M.S. Hsiao.
hardware oriented security and trust (2008)
A region based approach for the identification of hardware Trojans
M. Banga;M.S. Hsiao.
hardware oriented security and trust (2008)
A Novel Sustained Vector Technique for the Detection of Hardware Trojans
Mainak Banga;Michael S. Hsiao.
international conference on vlsi design (2009)
A Novel Sustained Vector Technique for the Detection of Hardware Trojans
Mainak Banga;Michael S. Hsiao.
international conference on vlsi design (2009)
Denial-of-service attacks on battery-powered mobile computers
T. Martin;M. Hsiao;Dong Ha;J. Krishnaswami.
pervasive computing and communications (2004)
Denial-of-service attacks on battery-powered mobile computers
T. Martin;M. Hsiao;Dong Ha;J. Krishnaswami.
pervasive computing and communications (2004)
Sequential circuit test generation using dynamic state traversal
Michael S. Hsiao;Elizabeth M. Rudnick;Janak H. Patel.
european design and test conference (1997)
Sequential circuit test generation using dynamic state traversal
Michael S. Hsiao;Elizabeth M. Rudnick;Janak H. Patel.
european design and test conference (1997)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Illinois at Urbana-Champaign
Virginia Tech
Auburn University
Peking University
Virginia Tech
University of Florida
NEC (United States)
Kyushu Institute of Technology
Virginia Tech
Chinese Academy of Sciences
University of Trier
University of Erlangen-Nuremberg
Intel (United States)
University of California, Los Angeles
Spanish National Research Council
Xi’an Jiaotong-Liverpool University
University of Bern
University of Northern British Columbia
University of Colorado Boulder
Iowa State University
University of Murcia
Simon Fraser University
University of Western Australia
Vanderbilt University
Duke University
Columbia University