R
Richard Raimi
Researcher at University of Texas at Austin
Publications - 3
Citations - 921
Richard Raimi is an academic researcher from University of Texas at Austin. The author has contributed to research in topics: Model checking & Symbolic trajectory evaluation. The author has an hindex of 2, co-authored 3 publications receiving 863 citations.
Papers
More filters
Journal ArticleDOI
Bounded Model Checking Using Satisfiability Solving
TL;DR: This tutorial focuses on recent techniques that combine model checking with satisfiability solving, known as bounded model checking, which do a very fast exploration of the state space, and for some types of problems seem to offer large performance improvements over previous approaches.
Book ChapterDOI
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs
TL;DR: This paper shows how bounded model checking can take advantage of specialized optimizations and presents a bounded version of the cone of influence reduction, which can bring model checking into the mainstream of industrial chip design.
Journal ArticleDOI
Silicon Debug of a PowerPC™ Microprocessor Using Model Checking
Richard Raimi,James Lear +1 more
TL;DR: This paper describes how temporal logic model checking was used to quickly characterize a design error exhibited during hardware testing of a PowerPC microprocessor, and outlines the conditions under which model checking can efficiently characterize such failures.