Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors.

Amit Goel, Randal E. Bryant

Browse the full CAV paper archive.