Electrical Engineering and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Using Combinational Verification for Sequential Circuits

R.K. Ranjan, V. Singhal, F. Somenzi and Robert K. Brayton

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M97/77
1997

BibTeX citation:

@techreport{Ranjan:M97/77,
    Author = {Ranjan, R.K. and Singhal, V. and Somenzi, F. and Brayton, Robert K.},
    Title = {Using Combinational Verification for Sequential Circuits},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1997},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1997/3318.html},
    Number = {UCB/ERL M97/77}
}

EndNote citation:

%0 Report
%A Ranjan, R.K.
%A Singhal, V.
%A Somenzi, F.
%A Brayton, Robert K.
%T Using Combinational Verification for Sequential Circuits
%I EECS Department, University of California, Berkeley
%D 1997
%@ UCB/ERL M97/77
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1997/3318.html
%F Ranjan:M97/77