On the Verification of Sequential Machines at Differing Levels of Abstraction

S. Devadas, H.K. Ma and A. Richard Newton

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M86/93
December 1986

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/ERL-86-93.pdf

BibTeX citation:

@techreport{Devadas:M86/93,
    Author = {Devadas, S. and Ma, H.K. and Newton, A. Richard},
    Title = {On the Verification of Sequential Machines at Differing Levels of Abstraction},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1986},
    Month = {Dec},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/782.html},
    Number = {UCB/ERL M86/93}
}

EndNote citation:

%0 Report
%A Devadas, S.
%A Ma, H.K.
%A Newton, A. Richard
%T On the Verification of Sequential Machines at Differing Levels of Abstraction
%I EECS Department, University of California, Berkeley
%D 1986
%@ UCB/ERL M86/93
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/782.html
%F Devadas:M86/93