loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Asia and South Pacific Design Automation Conference 1999 (ASP-DAC'99)
Application Driven Variable Reordering and an Example Implementation in Reachability Analysis
Wanchai, Hong Kong
January 18-January 21
ISBN: 0-7803-5012-X
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.
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.
Citation:
Christoph Meinel, Klaus Schwettmann, Anna Slobodov?, "Application Driven Variable Reordering and an Example Implementation in Reachability Analysis," asp-dac, pp.327, Asia and South Pacific Design Automation Conference 1999 (ASP-DAC'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.