Interfacing System Description Languages to Formal Verification

Wendell C. Baker

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M96/26
May 1996

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/ERL-96-26.pdf

Advisor: A. Richard Newton

BibTeX citation:

@phdthesis{Baker:M96/26,
    Author = {Baker, Wendell C.},
    Title = {Interfacing System Description Languages to Formal Verification},
    School = {EECS Department, University of California, Berkeley},
    Year = {1996},
    Month = {May},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/3017.html},
    Number = {UCB/ERL M96/26}
}

EndNote citation:

%0 Thesis
%A Baker, Wendell C.
%T Interfacing System Description Languages to Formal Verification
%I EECS Department, University of California, Berkeley
%D 1996
%@ UCB/ERL M96/26
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/3017.html
%F Baker:M96/26