Asia and South Pacific Design Automation Conference (1999)
Wanchai, Hong Kong
Jan. 18, 1999 to Jan. 21, 1999
Christoph Meinel , TI, Bahnhofstr., Germany; University of Trier, Germany
Klaus Schwettmann , University of Trier, Germany
Anna Slobodov? , TI, Bahnhofstr., Germany
Variable reordering is the main approach to minimize the size of Ordered Binary Decision Diagrams. But despite the huge effort spent, up to now, to design different reordering heuristics, their performance often does not meet the needs of the applications. In many OBDD-based computations, the time cost for reordering dominates the time spent by the computation itself.<div></div> There are some known approaches for accelerating the reordering by taking advantage of structural properties of OBDDs and functions represented. In this paper, we propose a reordering method that exploits application specific information. The main idea is to drive the reordering process by the computation. This effects an acceleration of the whole computation rather than of the reordering only. The power of the approach is illustrated on hand of speeding up forward traversal of finite state machines.
K. Schwettmann, C. Meinel and A. Slobodov?, "Application Driven Variable Reordering and an Example Implementation in Reachability Analysis," Asia and South Pacific Design Automation Conference(ASP-DAC), Wanchai, Hong Kong, 1999, pp. 327.