| |
| 2000 | ||
|---|---|---|
| 3 | EE | Chris Wilson, David L. Dill: Reliable verification using symbolic simulation with scalar values. DAC 2000: 124-129 |
| 2 | EE | Chris Wilson, David L. Dill, Randal E. Bryant: Symbolic Simulation with Approximate Values. FMCAD 2000: 470-485 |
| 1997 | ||
| 1 | Alan J. Hu, Masahiro Fujita, Chris Wilson: Formal Verification of the HAL S1 System Cache Coherence Protocol. ICCD 1997: 438-444 | |
| 1 | Randal E. Bryant | [2] |
| 2 | David L. Dill | [2] [3] |
| 3 | Masahiro Fujita | [1] |
| 4 | Alan J. Hu | [1] |