This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Randal E. Bryant

Randal E. Bryant, Caltech then CMU: from MOS switch-level simulation (MOSSIM, COSMOS) to BDDs, symbolic trajectory evaluation and proof-producing BDD solvers. The corpus's most complete single line, nearly all readable.

Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs

Karthik V. Nukala and others (2024) · Formal Methods in Computer-Aided Design (FMCAD 2024)

Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver

Randal E. Bryant and others (2021) · Automated Deduction (CADE 2021) · Springer

Binary Decision Diagrams: An Algorithmic Basis for Symbolic Model Checking

Randal E. Bryant (2018) · Handbook of Model Checking · Springer International Publishing

Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions

Randal E. Bryant and others (2002) · Springer Berlin Heidelberg

Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction

Miroslav N. Velev and others (2000) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery

*PBHD: An Efficient Graph Representation for Floating Point Circuit Verification

Yirng-An Chen and others (1997) · Carnegie Mellon University, Department of Computer Science

Binary decision diagrams and beyond: enabling technologies for formal verification

Randal E. Bryant (1995) · IEEE Comput. Soc. Press

Verification of Arithmetic Circuits with Binary Moment Diagrams

Randal E. Bryant (1995) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery

Formal verification by symbolic evaluation of partially-ordered trajectories

Carl-Johan H. Seger and others (1995) · Formal Methods in System Design · Springer Science+Business Media

Verification of Arithmetic Functions with Binary Moment Diagrams

Randal E. Bryant and others (1994) · Carnegie Mellon University, Department of Computer Science

Symbolic Boolean manipulation with ordered binary-decision diagrams

Randal E. Bryant (1992) · Association for Computing Machinery (ACM)

Symbolic boolean manipulation with ordered binary decision diagrams

Randal E. Bryant (1992) · Technical Report CMU-CS-92-160

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

Randal E. Bryant and others (1991) · Computer-Aided Verification '90 · American Mathematical Society

On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication

Randal E. Bryant (1991) · IEEE Transactions on Computers

Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis

Randal E. Bryant (1991) · International Conference on Computer-Aided Design (ICCAD '91)

Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation

Randal E. Bryant and others (1991) · Proceedings of the 28th ACM/IEEE Design Automation Conference (DAC '91)

Formal Verification of Memory Circuits by Switch-Level Simulation

Randal E. Bryant (1991) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

A methodology for hardware verification based on logic simulation

Randal E. Bryant (1991) · Journal of the ACM · Association for Computing Machinery

Efficient implementation of a BDD package

Karl S. Brace and others (1990) · ACM Press

Verification of synchronous circuits by symbolic logic simulation

Randal E. Bryant (1990) · Lecture Notes in Computer Science · Springer New York

Verifying a Static RAM Design by Logic Simulation

Randal E. Bryant (1988) · Advanced Research in VLSI: Proceedings of the Fifth MIT Conference

Algorithmic Aspects of Symbolic Switch Network Analysis

Randal E. Bryant (1987) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers

Boolean Analysis of MOS Circuits

Randal E. Bryant (1987) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)

COSMOS: A Compiled Simulator for MOS Circuits

Randal E. Bryant and others (1987) · 24th ACM/IEEE Design Automation Conference · ACM Press

Two Papers on a Symbolic Analyzer for MOS Circuits

Randal E. Bryant (1987) · Carnegie Mellon University, Computer Science Department

Graph-Based Algorithms for Boolean Function Manipulation

Randal E. Bryant (1986) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers

Symbolic Manipulation of Boolean Functions Using a Graphical Representation

Randal E. Bryant (1985) · Proceedings of the 22nd ACM/IEEE Design Automation Conference (DAC '85)

Symbolic Verification of MOS Circuits

Randal E. Bryant (1985) · 1985 Chapel Hill Conference on Very Large Scale Integration

A Switch-Level Model and Simulator for MOS Digital Systems

Randal E. Bryant (1983) · California Institute of Technology, Computer Science Department

MOSSIM II: A Switch Level Simulator for MOS LSI, User's Manual

Randal E. Bryant and others (1982) · California Institute of Technology, Computer Science Department

A Switch-Level Simulation Model for Integrated Logic Circuits

Randal E. Bryant (1981)