MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Richard Raimi – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Bounded Model Checking Using Satisfiability Solving
by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu — 2001 — Formal Methods in System Design
… and formally verified. 5 In 1996, Richard Raimi and Jim Lear, working for Motorola at the PowerPC TM 2…
Cited by 68 (1 self) – Add To MetaCart

Verifying Safety Properties of a PowerPC Microprocessor Using Symbolic Model Checking without BDDs
by Armin Biere, Edmund Clarke, Richard Raimi, Yunshan Zhu — 1999 — In Proc. 11 th Int. Conf. on Computer Aided Verification
… without BDDs ?? Armin Biere 1;2;3 , Edmund Clarke 2;3 , Richard Raimi 4;5 , and Yunshan Zhu 2;3 1…
Cited by 34 (4 self) – Add To MetaCart

Formal verification of PowerPC arrays using symbolic trajectory evaluation
by Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant — 1997
… Richard Raimi 2 Derek L. Beatty 2 Randal E. Bryant 1 1 School of Computer Science, Carnegie Mellon…
Cited by 4 (0 self) – Add To MetaCart

Formal Verification of Content Addressable Memories using Symbolic Trajectory Evaluation
by Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir — 1997 — In DAC’97
… Pandey 1 Richard Raimi 2 Randal E. Bryant 1 Magdy S. Abadir 2 1 School of Computer Science, Carnegie…
Cited by 16 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB