| 2005 |
|---|
| 10 | EE | Daijue Tang,
Sharad Malik,
Aarti Gupta,
C. Norris Ip:
Symmetry Reduction in SAT-Based Model Checking.
CAV 2005: 125-138 |
| 2003 |
|---|
| 9 | EE | Franco Carbognani,
Christopher K. Lennard,
C. Norris Ip,
Allan Cochrane,
Paul Bates:
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard.
DATE 2003: 20088-20094 |
| 2000 |
|---|
| 8 | | C. Norris Ip:
Simulation Coverage Enhancement Using Test Stimulus Transformations.
ICCAD 2000: 127-133 |
| 1999 |
|---|
| 7 | | C. Norris Ip,
David L. Dill:
Verifying Systems with Replicated Components in Mur[b.phiv].
Formal Methods in System Design 14(3): 273-310 (1999) |
| 1998 |
|---|
| 6 | EE | C. Norris Ip:
Generalized Reversible Rules.
FMCAD 1998: 403-420 |
| 1996 |
|---|
| 5 | | C. Norris Ip,
David L. Dill:
Verifying Systems with Replicated Components in Murphi.
CAV 1996: 147-158 |
| 4 | EE | C. Norris Ip,
David L. Dill:
State Reduction Using Reversible Rules.
DAC 1996: 564-567 |
| 3 | | C. Norris Ip,
David L. Dill:
Better Verification Through Symmetry.
Formal Methods in System Design 9(1/2): 41-75 (1996) |
| 1993 |
|---|
| 2 | | C. Norris Ip,
David L. Dill:
Better Verification Through Symmetry.
CHDL 1993: 97-111 |
| 1 | | C. Norris Ip,
David L. Dill:
Efficient Verification of Symmetric Concurrent Systems.
ICCD 1993: 230-234 |
