Sciweavers

Share
TCAD
2008

Scalable Synthesis and Clustering Techniques Using Decision Diagrams

9 years 1 months ago
Scalable Synthesis and Clustering Techniques Using Decision Diagrams
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the efficiency of BDDs for new areas in FPGA CAD flow including cut generation and clustering by reducing these problems to BDDs and solving them using Boolean operations. As a result, we show that this leads to more than 10x reduction in runtime and memory use when compared to previous techniques as reported in [3] and [4]. This speedup allows us to apply our work to new areas in the FPGA CAD flow previously not possible. Specifically, we introduce a new method to solve the logic synthesis elimination problem found in FBDD, a recently reported BDD synthesis engine with an order of magnitude speedup over SIS. Our new elimination algorithm results in an overall speedup of 6x in FBDD with no impact on circuit area.
Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TCAD
Authors Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
Comments (0)
books