C. Norris Ip

Publication Activity (10 Years)

Years Active: 1993-2005
Publications (10 Years): 0

Publications

Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip
Symmetry Reduction in SAT-Based Model Checking. CAV (2005)
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)
C. Norris Ip
Simulation Coverage Enhancement Using Test Stimulus Transformations. ICCAD (2000)
C. Norris Ip, David L. Dill
Verifying Systems with Replicated Components in Mur[b.phiv]. Formal Methods Syst. Des. 14 (3) (1999)
C. Norris Ip
Generalized Reversible Rules. FMCAD (1998)
C. Norris Ip, David L. Dill
Better Verification Through Symmetry. Formal Methods Syst. Des. 9 (1/2) (1996)
C. Norris Ip, David L. Dill
. CAV (1996)
C. Norris Ip, David L. Dill
State Reduction Using Reversible Rules. DAC (1996)
C. Norris Ip, David L. Dill
Efficient Verification of Symmetric Concurrent Systems. ICCD (1993)
C. Norris Ip, David L. Dill
Better Verification Through Symmetry. CHDL (1993)