The Application of Knowledge-Based Systems to Design Verification

Rick L. Spickelmier

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M89/126
November 1989

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/ERL-89-126.pdf

Advisor: A. Richard Newton

BibTeX citation:

@phdthesis{Spickelmier:M89/126,
    Author = {Spickelmier, Rick  L.},
    Title = {The Application of Knowledge-Based Systems to Design Verification},
    School = {EECS Department, University of California, Berkeley},
    Year = {1989},
    Month = {Nov},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/1359.html},
    Number = {UCB/ERL M89/126}
}

EndNote citation:

%0 Thesis
%A Spickelmier, Rick  L.
%T The Application of Knowledge-Based Systems to Design Verification
%I EECS Department, University of California, Berkeley
%D 1989
%@ UCB/ERL M89/126
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/1359.html
%F Spickelmier:M89/126