数字逻辑__第八章.pptVIP

自动逻辑综合 内容: 多维体表示 多维体的基本运算 多维体运算的计算机实现 组合逻辑电路的计算机辅助逻辑设计 同步时序逻辑电路的计算机辅助设计 第一节 多维体表示 函数的输入组合是与多维体的顶点相对应的，如果函数值为1，则相应多维体顶点为真或ON顶点；如果函数值为 0，则相应多维体顶点为函数的假顶点或OFF顶点。 假如给定逻辑函数F1，其函数表达式为： 则可用一个三维体来表示： 011 100 101 111 110 010 001 000 实心点表示真顶点，空心点表示假顶点 用ON数组、OFF数组和DC数组集合描述为： 第二节 多维体的基本运算 蕴涵运算 交集运算 并集运算 相容运算 锐集运算 一、蕴涵运算 多维体a蕴涵在多维体b中,则称a被b蕴涵,或称a被b所包含,记作 0 1 x 0 1 x ε y ε y ε ε y y ε ai bi 蕴涵表 表中的ε含义是蕴涵，y的含义是不蕴涵。 多维体的蕴涵运算与逻辑代数中乘积项的覆盖关系对应。 多维体的蕴涵运算可以在多维体集合中删去那些蕴涵于另一些多维体中的多维体，从而达到简化多维体集合的目的。 二、并集运算 两个多维体集合A和B的并集为A、B中全部多维体的集合。 三、交集运算 如果两个多维体在它们所覆盖的顶点中有一个或一个以上的公共顶点，则这两个多维体是相交的，这些公共顶点就称为这两个多维体的交。 运算规则 （1）若对于任意一个 使 则 （2）若不满足上述条件，则 0 1 x 0 1 x 0 y 0 y 1 1 0 1 y ai bi 交集表 表中y的含义是不相交。 四、相容运算 两个多维体a和b的相容多维体是指不包含在a内也不包含在b内，而包含在 内的最大的多维体。 运算规则 （1）两个多维体的所有n个组元中，当仅有一对组元的星积按星积表取值，则 （2）若不满足上述条件，则 0 1 x 0 1 x 0 y 0 y 1 1 0 1 x ai bi 星积表 表中y的含义是不相容。 * 自动逻辑综合