Amit Narayan

EECS Department, University of California, Berkeley

1998

Advisors: Alberto L. Sangiovanni-Vincentelli

---

BibTeX citation:

@phdthesis{Narayan:8040,
    Author= {Narayan, Amit},
    Title= {BDD Partitioning for Formal Verification and Synthesis of Digital Systems},
    School= {EECS Department, University of California, Berkeley},
    Year= {1998},
}

EndNote citation:

%0 Thesis
%A Narayan, Amit 
%T BDD Partitioning for Formal Verification and Synthesis of Digital Systems
%I EECS Department, University of California, Berkeley
%D 1998
%F Narayan:8040