Huey-Yih Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1993–1995
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | ICCAD | Multi-level logic optimization of FSM networks. | Huey-Yih Wang, Robert K. Brayton |
| 1994 | DAC | 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 |
| 1994 | DAC | Permissible Observability Relations in FSM Networks. | Huey-Yih Wang, Robert K. Brayton |
| 1993 | ICCAD | Input don't care sequences in FSM networks. | Huey-Yih Wang, Robert K. Brayton |