R. E. Bryant

10 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Learning conditional abstractions

B. A. Brady and others (2011) · 2011 Formal Methods in Computer-Aided Design (FMCAD)

ATLAS: Automatic Term-level abstraction of RTL designs

B. A. Brady and others (2010) · IEEE

Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic

R. E. Bryant and others (2001) · Association for Computing Machinery (ACM)

Verification of floating point adders

Y.-A. Chen and others (1998) · CAV’98

Bit-level analysis of an SRT divider circuit

R. E. Bryant (1996) · 33rd Design Automation Conference (DAC’96)

ACV: an arithmetic circuit verifier

Y.-A. Chen and others (1996) · IEEE Comput. Soc. Press

Synchronous circuit verification by symbolic simulation: an illustration

D. L. Beatty and others (1990) · Advanced Research in VLSI: Proceedings of the Sixth MIT Conference

Performance of COSMOS on the IFIP workshop benchmarks

A. L. Fisher and others (1989) · Proceedings of the IMEC-IFIP Workshop 1989

A Switch-Level Model of MOS Logic Circuits

R. E. Bryant (1981) · VLSI 81 · Academic Press

An algorithm for MOS logic simulation

R. E. Bryant (1980) · Lambda