P
Pei-Hsin Ho
Researcher at Synopsys
Publications - 48
Citations - 6345
Pei-Hsin Ho is an academic researcher from Synopsys. The author has contributed to research in topics: Model checking & Hybrid system. The author has an hindex of 28, co-authored 48 publications receiving 6233 citations. Previous affiliations of Pei-Hsin Ho include Cornell University & Intel.
Papers
More filters
Proceedings ArticleDOI
Abstraction refinement by controllability and cooperativeness analysis
Freddy Y. C. Mang,Pei-Hsin Ho +1 more
TL;DR: A new abstraction refinement algorithm is presented to better refine the abstract model for formal property verification and outperforms the other three algorithms in terms of runtime, abstraction efficiency, and the number of proven properties.
Patent
Method and apparatus for solving sequential constraints
TL;DR: In this paper, a method for augmenting the combinational constraints to avoid deadend states is presented, where the assumption constraints are used to ensure avoidance of dead-end states.
Patent
Simulation-based functional verification of microcircuit designs
TL;DR: In this paper, the authors present a system for verifying microcircuit designs by interleaving between random and formal simulation techniques to identify input traces useful for driving designs under test into sequences of device states.
Journal ArticleDOI
The domatic number problem interval graphs
TL;DR: The main purpose of this paper is to give linear algorithms for the domatic number problem in interval graphs and proves that d ( G) = \delta ( G ) + 1 for any interval graph G, where $\delta( G)$ is the minimum degree of a vertex in G.