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.

• Type: Conference
• Year: 1996
• Where: VLSID
• Authors: Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
• Keywords: Nal Robdd Size, Peak Memory, Peak Memory Utilization, VLSI, VLSID 1996