E BryantRandal

发表

Predicate abstraction with indexed predicates

K LahiriShuvendu, E BryantRandal, 2007 .

Graph-Based Algorithms for Boolean Function Manipulation

E BryantRandal, 1986 .

Introducing computer systems from a programmer's perspective

E BryantRandal, R O'HallaronDavid, 2001 .

Formal verification by symbolic evaluation of partially-ordered trajectories

E BryantRandal, H SegerCarl-Johan, 1995 .

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

E BryantRandal, 1991 .

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

E BryantRandal, GermanSteven, N VelevMiroslav, 2001 .

A methodology for hardware verification based on logic simulation

E BryantRandal, 1991 .

Symbolic Boolean manipulation with ordered binary-decision diagrams

E BryantRandal, 1992 .