H
Huey-Yih Wang
Researcher at University of California, Berkeley
Publications - 4
Citations - 109
Huey-Yih Wang is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Finite-state machine & Model checking. The author has an hindex of 4, co-authored 4 publications receiving 108 citations.
Papers
More filters
Proceedings ArticleDOI
HSIS: A BDD-Based Environment for Formal Verification
Adnan Aziz,Felice Balarin,Szu-Tsung Cheng,Ramin Hojati,Timothy Kam,S. C. Krishnan,Rajeev Kumar Ranjan,Thomas R. Shiple,Vigyan Singhal,Serdar Tasiran,Huey-Yih Wang,Robert K. Brayton,Alberto Sangiovanni-Vincentelli +12 more
TL;DR: The essential features of HSIS, a BDD-based environment for formal verification, are described, which allows us to experiment with formal verification techniques on a variety of design problems and provides an environment for further research in formal verification.
Proceedings ArticleDOI
Input don't care sequences in FSM networks
Huey-Yih Wang,Robert K. Brayton +1 more
TL;DR: It is demonstrated that the problem of computing and exploiting input don't care sequences for a component in an FSM network with an arbitrary topology can be reduced to one for a cascade circuit.
Proceedings ArticleDOI
Permissible Observability Relations in FSM Networks
Huey-Yih Wang,Robert K. Brayton +1 more
TL;DR: It is demonstrated that output don't care sequences for a component can be expressed using a set of observability relations given that its state transition function is kept unchanged.
Proceedings ArticleDOI
Multi-level logic optimization of FSM networks
Huey-Yih Wang,Robert K. Brayton +1 more
TL;DR: This work presents a general approach to exploit exact or approximate flexibility directly at the net-list logic level, and proposes a new procedure for input don't care sequences that can be effective in reducing the size of a component of an FSM network.