![]() |
| 2000 | ||
|---|---|---|
| 3 | EE | Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang: A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. DATE 2000: 232-236 |
| 1994 | ||
| 2 | Michael Quayle, ChiLai Huang: Complex Operator Synthesis. ICCD 1994: 514-517 | |
| 1992 | ||
| 1 | ChiLai Huang, Joseph Lis, Michael Quayle, Saurin Shroff: RTL Controller Synthesis. Synthesis for Control Dominated Circuits 1992: 3-17 | |
| 1 | Maciej J. Ciesielski | [3] |
| 2 | Priyank Kalla | [3] |
| 3 | Joseph Lis | [1] |
| 4 | Michael Quayle | [1] [2] |
| 5 | Saurin Shroff | [1] |
| 6 | Zhihong Zeng | [3] |