PLA-based Boolean factorization using ROBDD
Published • Nov 19, 2002
Authors:,,
Pei‐Yung Hsiao
Ruey-Tzer Liaw
Jeong-Yuan Su
Abstract
A effective graph manipulation on the ROBDD, called EXT, is proposed to factor the PLA-based functions. The detection for the factors of the Boolean function are derived from the bottom level up to the top level for their ROBDDs. A fast execution and competitive results have been compared to SIS-1.2...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!