Higher-Level Specification and Verification with BDDs. - Alan J. Hu; David L. Dill; Andreas J. Drexler; C. Han Yang (CAV, 1992)

Protocol Verification as a Hardware Design Aid. - David L. Dill; Andreas J. Drexler; Alan J. Hu; C. Han Yang (ICCD, 1992)

Architecture Validation for Processors. - Richard C. Ho; C. Han Yang; Mark Horowitz; David L. Dill (ISCA, 1995)

Validation with Guided Search of the State Space. - C. Han Yang; David L. Dill (DAC, 1998)