C. Han Yang

Publication Activity (10 Years)

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

Publications

C. Han Yang, David L. Dill
Validation with Guided Search of the State Space. DAC (1998)
Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill
Architecture Validation for Processors. ISCA (1995)
David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang
Protocol Verification as a Hardware Design Aid. ICCD (1992)
Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang
Higher-Level Specification and Verification with BDDs. CAV (1992)