New Techniques for Efficient Verification with Implicitly Conjoined BDDs

Alan J. Hu, Gary York, David L. Dill. New Techniques for Efficient Verification with Implicitly Conjoined BDDs. In DAC. pages 276-282, 1994. [doi]

No reviews for this publication, yet.