4.6 单输出函数的自动综合


 知识点:
 选拔法求最小化覆盖
 收缩算法求无冗余覆盖


 这里所讲的综合是指将函数的初始覆盖C最小化,即以最低或接近最低的成本实现该逻辑电路.假定逻辑电路是由二级门电路实现的,第一级是与门,第二级是或门。成本的因素相当复杂,与具体的实现方法有关,我们现在采用的标准是:
 (1)与门的个数尽可能少。而:
  与门个数 = 或门输入端个数 = 立方体个数
 (2)每个与门的输入端数尽可能少,即立方体的维数尽可能大。
 一个覆盖C的总成本:
 cs(C) = (与门输入端总数)+(或门输入端数)
    =
 式中:k是C中立方体的个数
    n是变量个数
    ri是该立方体的维数