ESCT Minimization for Incompletely Specified Functions

作者：Kalathas Marios^*; Voudouris Dimitrios; Papakonstantinou George

来源：Journal of Multiple-Valued Logic and Soft Computing, 2012, 19(5-6): 425-449.

• ESCT
• ESOP
• Maitra cells
• minimization
• incompletely specified
• don%26apos
• t care

In this work, a novel heuristic algorithm for the minimization of Exclusive-Or Sum of Complex Terms (ESCT) expressions for multiple output incompletely specified functions is presented. An initial algorithm, ESCT-DC, uses functional decomposition and multiple-valued logic in order to produce near minimal expressions for these functions. Based on ESCT-DC, an improved algorithm, QuickESCT-DC, is proposed, which outperforms existing algorithms. The experimental results presented indicate the superiority of this algorithm, compared to previous ones for incompletely specified functions, and the exploitation of don%26apos;t care terms achieved for ESCT. By setting some limitations in the type of operations performed, our algorithm can minimize ESOP expressions, too.

• 出版日期2012