Boolean resubstitution with permissible functions and binary decision diagrams

Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita
1990 Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90  
In this paper, we present a new Boolean resubstitution technique with permissible functions and ordered binary decision diagrams, abbreviated as OBDD [8] . Boolean resubstitution is one technique for multi-level logic optimization. Permissible functions are special don't care sets. We represent the data structure of permissible functions and logic functions at each node in Boolean networks in terms of OBDD. Therefore, logic functions can be flexibly manipulated and rapidly executed. We have
more » ... iously reported a multi-level logic optimization technique called transduction methods [l] using OBDD in ICCAD'89[7]. We have improved the OBDD operation techniques, so that now OBDD operations can be executed faster than we reported before. We also applied Boolean resubstitution to our multi-level logic synthesis. We present results of experiments employing the improved OBDD operation techniques and applying Boolean resubstitution to our multi-level logic synthesis.
doi:10.1145/123186.123276 dblp:conf/dac/SatoYMF90 fatcat:62yah3qqsnf2pp53k6bwauv5yu