Disjoint decomposition of Boolean functions

1991 ◽  
Vol 138 (1) ◽  
pp. 48 ◽  
Author(s):  
J. Poswig
Keyword(s):  
Boolean Functions ◽  
Decomposition Of Boolean Functions

Application of Indexed Partition Calculus in Logic Synthesis of Boolean Functions for FPGAs

2011 ◽  
Vol 57 (2) ◽  
pp. 209-216 ◽  
Author(s):  
Mariusz Rawski
Keyword(s):  
Boolean Functions ◽  
Logic Synthesis ◽  
Experimental Results ◽  
Computation Complexity ◽  
Functional Decomposition ◽  
Partition Calculus ◽  
Input And Output ◽  
Decomposition Of Boolean Functions

Application of Indexed Partition Calculus in Logic Synthesis of Boolean Functions for FPGAsFunctional decomposition of Boolean functions specified by cubes proved to be very efficient. Most popular decom-position methods are based on blanket calculus. However computation complexity of blanket manipulations strongly depends on number of function's variables, which prevents them from being used for large functions of many input and output variables. In this paper a new concept of indexed partition is proposed and basic operations on indexed partitions are defined. Application of this concept to logic synthesis based on functional decomposition is also discussed. The experimental results show that algorithms based on new concept are able to deliver good quality solutions even for large functions and does it many times faster than the algorithms based on blanket calculus.

Sign in / Sign up

Export Citation Format

Share Document