NECTAR: A Knowledge-Based Framework for Analog Circuit Verification

Theologos M. Kelessoglou

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M90/112
December 1990

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/ERL-90-112.pdf

Advisor: Donald O. Pederson


BibTeX citation:

@phdthesis{Kelessoglou:M90/112,
    Author = {Kelessoglou, Theologos M.},
    Title = {NECTAR: A Knowledge-Based Framework for Analog Circuit Verification},
    School = {EECS Department, University of California, Berkeley},
    Year = {1990},
    Month = {Dec},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1649.html},
    Number = {UCB/ERL M90/112}
}

EndNote citation:

%0 Thesis
%A Kelessoglou, Theologos M.
%T NECTAR: A Knowledge-Based Framework for Analog Circuit Verification
%I EECS Department, University of California, Berkeley
%D 1990
%@ UCB/ERL M90/112
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1649.html
%F Kelessoglou:M90/112