Huey-Yih Wang

According to our database, Huey-Yih Wang authored at least 4 papers between 1993 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Multi-level logic optimization of FSM networks.

Huey-Yih Wang, Robert K. Brayton

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

1994

Permissible Observability Relations in FSM Networks.

Huey-Yih Wang, Robert K. Brayton

Proceedings of the 31st Conference on Design Automation, 1994

HSIS: A BDD-Based Environment for Formal Verification.

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

Proceedings of the 31st Conference on Design Automation, 1994

1993

Input don't care sequences in FSM networks.

Huey-Yih Wang, Robert K. Brayton

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993