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

---

Home

|      © UC Berkeley EECS

|      Oct 11, 2012 11:22

|      Contact Webteam