Title :
PLA-based Boolean factorization using ROBDD
Author :
Hsiao, Pei-Yung ; Liaw, Ruey-Tzer ; Su, Jeong-Yuan
Author_Institution :
Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
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
Keywords :
Boolean functions; data flow graphs; logic design; programmable logic arrays; Boolean functions; EXT; PLA; ROBDD; factorization; flow graph; Boolean functions; Chip scale packaging; Data mining; Data structures; Information science; Logic functions; Optimization methods; Polynomials; Programmable logic arrays; Very large scale integration;
Conference_Titel :
Microelectronics and VLSI, 1995. TENCON '95., IEEE Region 10 International Conference on
Print_ISBN :
0-7803-2624-5
DOI :
10.1109/TENCON.1995.496365
