Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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
1990

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},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1990/1649.html
%F Kelessoglou:M90/112