Combinational Verification Revisted

S.P. Khatri, S.C. Krishnan, Alberto L. Sangiovanni-Vincentelli and Robert K. Brayton

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M98/60
October 1998

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/ERL-98-60.pdf

BibTeX citation:

@techreport{Khatri:M98/60,
    Author = {Khatri, S.P. and Krishnan, S.C. and Sangiovanni-Vincentelli, Alberto L. and Brayton, Robert K.},
    Title = {Combinational Verification Revisted},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1998},
    Month = {Oct},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/3516.html},
    Number = {UCB/ERL M98/60}
}

EndNote citation:

%0 Report
%A Khatri, S.P.
%A Krishnan, S.C.
%A Sangiovanni-Vincentelli, Alberto L.
%A Brayton, Robert K.
%T Combinational Verification Revisted
%I EECS Department, University of California, Berkeley
%D 1998
%@ UCB/ERL M98/60
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/3516.html
%F Khatri:M98/60