| |
| 1998 | ||
|---|---|---|
| 4 | EE | C. Han Yang, David L. Dill: Validation with Guided Search of the State Space. DAC 1998: 599-604 |
| 1995 | ||
| 3 | EE | Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill: Architecture Validation for Processors. ISCA 1995: 404-413 |
| 1992 | ||
| 2 | Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang: Higher-Level Specification and Verification with BDDs. CAV 1992: 82-95 | |
| 1 | David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang: Protocol Verification as a Hardware Design Aid. ICCD 1992: 522-525 | |
| 1 | David L. Dill | [1] [2] [3] [4] |
| 2 | Andreas J. Drexler | [1] [2] |
| 3 | Richard C. Ho | [3] |
| 4 | Mark Horowitz | [3] |
| 5 | Alan J. Hu | [1] [2] |