J
Junhao Shi
Researcher at University of Bremen
Publications - 9
Citations - 178
Junhao Shi is an academic researcher from University of Bremen. The author has contributed to research in topics: Automatic test pattern generation & Binary decision diagram. The author has an hindex of 6, co-authored 8 publications receiving 172 citations.
Papers
More filters
Journal ArticleDOI
Synthesis of fully testable circuits from BDDs
TL;DR: This work presents a technique to derive fully testable circuits under the stuck-at fault model (SAFM) and the path-delay faultmodel (PDFM) by starting from a function description as a binary decision diagram and generated by a linear time mapping algorithm.
Proceedings ArticleDOI
PASSAT: efficient SAT-based test pattern generation for industrial circuits
TL;DR: An efficient ATPG algorithm that makes use of powerful SAT-solving techniques and can also cope with tri-states is presented.
Proceedings ArticleDOI
Efficiency of Multi-Valued Encoding in SAT-based ATPG
TL;DR: A detailed study on how to chose the multi-valued encoding for SAT-based ATPG is presented and the techniques have been implemented and evaluated on large industrial benchmarks.
Proceedings ArticleDOI
BDD circuit optimization for path delay fault testability
TL;DR: This paper evaluates different optimization techniques for BDDs based on variable reordering with respect to the path delay fault testability of the resulting circuit and shows an optimization strategy that allows to compromise during synthesis between logic size and testability.
Proceedings ArticleDOI
Experimental studies on SAT-based test pattern generation for industrial circuits
TL;DR: This work presents a SAT-based ATPG tool that is applicable to large industrial circuits and shows that most of the faults can be classified very efficiently independently of the circuit size.