C. Han Yang

According to our database, C. Han Yang authored at least 4 papers between 1992 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Validation with Guided Search of the State Space.

C. Han Yang, David L. Dill

Proceedings of the 35th Conference on Design Automation, 1998

1995

Architecture Validation for Processors.

Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill

Proceedings of the 22nd Annual International Symposium on Computer Architecture, 1995

1992

Protocol Verification as a Hardware Design Aid.

David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang

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

Higher-Level Specification and Verification with BDDs.

Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992