Synthesis of VLSI Designs with Symbolic Techniques

Bill Lin

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M91/105
1991

Advisor: A. Richard Newton


BibTeX citation:

@phdthesis{Lin:M91/105,
    Author = {Lin, Bill},
    Title = {Synthesis of VLSI Designs with Symbolic Techniques},
    School = {EECS Department, University of California, Berkeley},
    Year = {1991},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1991/1883.html},
    Number = {UCB/ERL M91/105}
}

EndNote citation:

%0 Thesis
%A Lin, Bill
%T Synthesis of VLSI Designs with Symbolic Techniques
%I EECS Department, University of California, Berkeley
%D 1991
%@ UCB/ERL M91/105
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1991/1883.html
%F Lin:M91/105