Junhao Shi is an author at University of Bremen specializing in computer engineering, formal verification, and computer science.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingDesign For TestingFormal VerificationComputer EngineeringSatisfiabilityProgram Analysis
Publications per year
2004–2006
3
3
PASSAT: Efficient SAT-Based Test Pattern Generation for Industrial Circuits
Junhao Shi, Görschwin Fey, Rolf Drechsler et al. · 2005 · 38 citations
Efficiency of Multi-Valued Encoding in SAT-based ATPG
Görschwin Fey, Junhao Shi, Rolf Drechsler · 2006 · 14 citations
Rows per page
1–3 of 3