ChiLai Huang

According to our database, ChiLai Huang authored at least 3 papers between 1992 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2000

A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm.

Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang

Proceedings of the 2000 Design, 2000

1994

Complex Operator Synthesis.

Michael Quayle, ChiLai Huang

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1992

RTL Controller Synthesis.

ChiLai Huang, Joseph Lis, Michael Quayle, Saurin Shroff

Proceedings of the Synthesis for Control Dominated Circuits, 1992