Adrian J. Isles

EECS Department, University of California, Berkeley

2000

Advisors: Robert K. Brayton

---

BibTeX citation:

@phdthesis{Isles:8119,
    Author= {Isles, Adrian J.},
    Title= {Formal Verification Using Datapath Abstraction},
    School= {EECS Department, University of California, Berkeley},
    Year= {2000},
}

EndNote citation:

%0 Thesis
%A Isles, Adrian J. 
%T Formal Verification Using Datapath Abstraction
%I EECS Department, University of California, Berkeley
%D 2000
%F Isles:8119