Breadth-first manipulation of SBDD of Boolean functions for vector processing
Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima · 1991
Boolean function manipulators based on Shared Binary Decision Diagrams (SBDD'S) =e utilized efficiently in various applications such as design verification.We propose a high-speed algorithm of manipulating SBDD'S, which can be used with a vector supercomputer effectively.This proposed algorithm is implement ed and evaluated on the vector supercomput er HI-TAC S-820/80.The vector acceleration ratio obtained is 14.3 in the best case. 1