Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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
1989

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},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1989/1359.html
%F Spickelmier:M89/126