Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Overcoming Memory Constraints in ROBDD Construction by Functional Decomposition and Partitioning

A. Narayan, S.P. Khatri, J. Jain, M. Fujita, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M95/91
1995


BibTeX citation:

@techreport{Narayan:M95/91,
    Author = {Narayan, A. and Khatri, S.P. and Jain, J. and Fujita, M. and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Overcoming Memory Constraints in ROBDD Construction by Functional Decomposition and Partitioning},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1995},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1995/2898.html},
    Number = {UCB/ERL M95/91}
}

EndNote citation:

%0 Report
%A Narayan, A.
%A Khatri, S.P.
%A Jain, J.
%A Fujita, M.
%A Brayton, Robert K.
%A Sangiovanni-Vincentelli, Alberto L.
%T Overcoming Memory Constraints in ROBDD Construction by Functional Decomposition and Partitioning
%I EECS Department, University of California, Berkeley
%D 1995
%@ UCB/ERL M95/91
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1995/2898.html
%F Narayan:M95/91