Sciweavers

Share
VLSID
1996
IEEE

A study of composition schemes for mixed apply/compose based construction of ROBDDs

9 years 4 months ago
A study of composition schemes for mixed apply/compose based construction of ROBDDs
Reduced Ordered Binary Decision Diagrams ROBDDs have traditionally been built in a bottom-up fashion. In this scheme, the intermediate peak memory utilization is often larger than the nal ROBDD size, limiting the complexity of the circuits which can be processed using ROBDDS. Recently we showed that for a large number of applications, the peak memory requirement can be substantially reduced by a suitable combination of bottom up decomposition based and top down composition based approaches of building ROBDDs. In this paper, we focus on the composition process. We detail four heuristic algorithms for nding good composition orders, and compare their utility on a set of standard benchmark circuits. Our schemes o er a matrix of time-memory tradeo points.
Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masah
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where VLSID
Authors Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Comments (0)
books