Restricted simple disjunctive decompositions based on grouping symmetric variables

Hiroshi Sawada, Shigeru Yamashita, Akira Nagoya


5 被引用数 (Scopus)


This paper presents an efficient method for a simple disjunctive decomposition, where candidates for the bound set are restricted to sets of symmetric variables to reduce the computation cost. Symmetric variables are detected by depth-first traversals of an ordered binary decision diagram (OBDD), and decompositions are carried out by changing the variable order of the OBDD. We do not change the variable order until the change is really needed. Experimental results show that even if the decomposition form was restricted, many practical functions could be decomposed. The execution time for decomposition was very small even for functions with many variables. Combined with an exhaustive search, the method successfully decomposed some functions that could not be decomposed by exhaustive search alone in a practical amount of time.

ジャーナルProceedings of the IEEE Great Lakes Symposium on VLSI
出版ステータスPublished - 1月 1 1997
イベントProceedings of the 1997 7th Great Lakes Symposium on VLSI - Urbana-Champaign, IL, USA
継続期間: 3月 13 19973月 15 1997

ASJC Scopus subject areas

  • 電子工学および電気工学


「Restricted simple disjunctive decompositions based on grouping symmetric variables」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。