| 1995 |
|---|
| 4 | EE | Huey-Yih Wang,
Robert K. Brayton:
Multi-level logic optimization of FSM networks.
ICCAD 1995: 728-735 |
| 1994 |
|---|
| 3 | EE | 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: 454-459 |
| 2 | EE | Huey-Yih Wang,
Robert K. Brayton:
Permissible Observability Relations in FSM Networks.
DAC 1994: 677-683 |
| 1993 |
|---|
| 1 | EE | Huey-Yih Wang,
Robert K. Brayton:
Input don't care sequences in FSM networks.
ICCAD 1993: 321-328 |
