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] |