N. Koda et T. Sasao, A SIMPLIFICATION METHOD FOR AND-EXOR EXPRESSIONS FOR MULTIPLE-OUTPUT FUNCTIONS, Systems and computers in Japan, 27(9), 1996, pp. 1-11
Citations number
18
Categorie Soggetti
Computer Science Hardware & Architecture","Computer Science Information Systems","Computer Science Theory & Methods
This paper presents properties of Exclusive-OR Sum-of-Products express
ions (ESOPs) for multiple-output functions and a simplification algori
thm for ESOPs. First, lower bounds on the number of products in minimu
m ESOPs for multiple output functions are derived. Then, algorithms to
simplify ESOPs and to prove their minimality are presented. Experimen
tal results for arithmetic functions and randomly generated functions
for up to ten variables are shown.