Richard Raimi

According to our database, Richard Raimi authored at least 8 papers between 1996 and 2002.

Collaborative distances:

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

2002

Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking.

Richard Raimi, James Lear

Formal Methods Syst. Des., 2002

2001

Bounded Model Checking Using Satisfiability Solving.

Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu

Formal Methods Syst. Des., 2001

2000

Environment modeling and language universality.

Richard Raimi, Ramin Hojati, Kedar S. Namjoshi

ACM Trans. Design Autom. Electr. Syst., 2000

1999

Detecting False Timing Paths: Experiments on PowerPC Microprocessors.

Richard Raimi, Jacob A. Abraham

Proceedings of the 36th Conference on Design Automation, 1999

Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.

Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1997

Analyzing a PowerPC^TM620 Microprocessor Silicon Failure Using Model Checking.

Richard Raimi, James Lear

Proceedings of the Proceedings IEEE International Test Conference 1997, 1997

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation.

Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir

Proceedings of the 34st Conference on Design Automation, 1997

1996

Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation.

Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant

Proceedings of the 33st Conference on Design Automation, 1996