22
Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez, and Leonardo Franco Published in IEEE Transactions on Circuits and Systems I in November, 2008

Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Embed Size (px)

Citation preview

Page 1: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions

Paper by José L. Subirats, José M. Jerez, and Leonardo FrancoPublished in IEEE Transactions on Circuits and Systems I in November, 2008

Page 2: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Thershold FunctionsWhat is a Threshold Function?

Page 3: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Threshold Functions

Page 4: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Threshold Functions

Page 5: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Threshold FunctionsWhat is the significance of a

threshold function?◦Model of a Neuron◦Important in Neural Networks

Page 6: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,
Page 7: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Selecting Output (Or/And)Determined by number of 1s in

the output of the truth table

When over half of the output of the truth table is 1, output function of final architecture is an OR

Otherwise, output function is an AND

Page 8: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Selecting Output (Or/And)

Page 9: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,
Page 10: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Unate Function

-Positive Unate variable:

-Negative Unate variable:

-Function is a Unate Function when all variables are either positive or negative unate

Page 11: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Unate FunctionWhat is the significance of the

function being unate?All threshold functions are unateChecking for a unate function

much quicker than checking for a threshold function

Can eliminate non-threshold functions more quickly, speeding up overall computation time

Page 12: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,
Page 13: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Function SplittingFirst, find variable with highest

influence

Influence defined as the number of input vectors where the change of the variable changes the value of the function

Page 14: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Function splittingSplit as follows, where xi is

function with highest influence for function F1

For case of OR representation:

Page 15: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Function SplittingModification necessary for use of

‘don’t cares’Again, for case of OR

representation:

Page 16: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

ResultsComparisons to another

threshold function algorithm published in IEEE Trans. (2005)

Compared on number of gates, number of levels, and number of weights (interconnect) of generated circuits

Page 17: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Results

Page 18: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

ResultsAlgorithm works with truth

vectors involving up to 21 inputsCan be applied to systems with

significantly more inputs with the addition of standard processing steps used in circuit design

Page 19: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Results

Page 20: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

ResultsWith use of don’t cares,

comparisons are made to standard algorithms- C4.5 decision tree algorithm, feedforward neural networks, and implementation of nearest neighbour algorithm

For each function 60% of examples used for training, 40% used to test

Results compared on terms of generalization ability

Page 21: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

Results

Page 22: Literature Review: A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions Paper by José L. Subirats, José M. Jerez,

ConclusionsWithout preprocessing, significant

improvements to number of gates and levels for up to 21 inputs.

With preprocessing, some improvement to number of gates and significant improvement to number of levels

Increased amount of interconnect in both cases

Generalization ability comparable to existing standard algorithms