Multilevel Behavioral Verification for VLSI Design

Seung H. Wang

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M89/85
1989

Advisor: A. Richard Newton


BibTeX citation:

@phdthesis{Wang:M89/85,
    Author = {Wang, Seung H.},
    Title = {Multilevel Behavioral Verification for VLSI Design},
    School = {EECS Department, University of California, Berkeley},
    Year = {1989},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1989/1279.html},
    Number = {UCB/ERL M89/85}
}

EndNote citation:

%0 Thesis
%A Wang, Seung H.
%T Multilevel Behavioral Verification for VLSI Design
%I EECS Department, University of California, Berkeley
%D 1989
%@ UCB/ERL M89/85
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1989/1279.html
%F Wang:M89/85