Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
- Randal E. Bryant
- Steven German
- et al.
- 2001
- ACM TOCL
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
4 results for Randal E. Bryant
Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation
- Manish Pandey
- Randal E. Bryant
- 1999
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Intractability in Linear Switch-Level Simulation
- Lawrence P. Huang
- Randal E. Bryant
- 1993
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Massively Parallel Switch-Level Simulation: A Feasibility Study
- Saul A. Kravitz
- Randal E. Bryant
- et al.
- 1991
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems