Huey-Yih Wang

Publication Activity (10 Years)

Years Active: 1993-1995
Publications (10 Years): 0

Publications

Huey-Yih Wang, Robert K. Brayton
Multi-level logic optimization of FSM networks. ICCAD (1995)
Huey-Yih Wang, Robert K. Brayton
Permissible Observability Relations in FSM Networks. DAC (1994)
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
HSIS: A BDD-Based Environment for Formal Verification. DAC (1994)
Huey-Yih Wang, Robert K. Brayton
Input don't care sequences in FSM networks. ICCAD (1993)