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