ChiLai Huang

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

Publications

Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang
A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. DATE (2000)
Michael Quayle, ChiLai Huang
Complex Operator Synthesis. ICCD (1994)
ChiLai Huang, Joseph Lis, Michael Quayle, Saurin Shroff
RTL Controller Synthesis. Synthesis for Control Dominated Circuits (1992)