Richard Raimi (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3		Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir: Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation. DAC 1997: 167-172
1		Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant: Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. DAC 1996: 649-654

Selection of 2 from 8 records - Richard Raimi has 11 coauthors