C. Norris Ip

According to our database, C. Norris Ip authored at least 10 papers between 1993 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Symmetry Reduction in SAT-Based Model Checking.

Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard.

Franco Carbognani, Christopher K. Lennard, C. Norris Ip, Allan Cochrane, Paul Bates

Proceedings of the 2003 Design, 2003

2000

Simulation Coverage Enhancement Using Test Stimulus Transformations.

C. Norris Ip

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

Verifying Systems with Replicated Components in Mur[b.phiv].

C. Norris Ip, David L. Dill

Formal Methods Syst. Des., 1999

1998

Generalized Reversible Rules.

C. Norris Ip

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1996

State reduction methods for automatic formal verification.

C. Norris Ip

PhD thesis, 1996

Better Verification Through Symmetry.

C. Norris Ip, David L. Dill

Formal Methods Syst. Des., 1996

State Reduction Using Reversible Rules.

C. Norris Ip, David L. Dill

Proceedings of the 33st Conference on Design Automation, 1996

Verifying Systems with Replicated Components in Mur<i>phi</i>.

C. Norris Ip, David L. Dill

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1993

Efficient Verification of Symmetric Concurrent Systems.

C. Norris Ip, David L. Dill

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993