数字逻辑自动逻辑综合ppt课件

第八章自动逻辑综合,内容:多维体表示多维体的基本运算多维体运算的计算机实现组合逻辑电路的计算机辅助逻辑设计同步时序逻辑电路的计算机辅助设计,第一节多维体表示,函数的输入组合是与多维体的顶点相对应的，如果函数值为1，则相应多维体顶点为真或ON顶点；如果函数值为0，则相应多维体顶点为函数的假顶点或OFF顶点。,假如给定逻辑函数F1，其函数表达式为：,则可用一个三维体来表示：,实心点表示真顶点，空心点表示假顶点,用ON数组、OFF数组和DC数组集合描述为：,第二节多维体的基本运算,蕴涵运算交集运算并集运算相容运算锐集运算,一、蕴涵运算,多维体a蕴涵在多维体b中,则称a被b蕴涵,或称a被b所包含,记作,蕴涵表,表中的含义是蕴涵，y的含义是不蕴涵。,多维体的蕴涵运算与逻辑代数中乘积项的覆盖关系对应。,多维体的蕴涵运算可以在多维体集合中删去那些蕴涵于另一些多维体中的多维体，从而达到简化多维体集合的目的。,二、并集运算,两个多维体集合A和B的并集为A、B中全部多维体的集合。,三、交集运算,如果两个多维体在它们所覆盖的顶点中有一个或一个以上的公共顶点，则这两个多维体是相交的，这些公共顶点就称为这两个多维体的交。,运算规则,（1）若对于任意一个使则,（2）若不满足上述条件，则,交集表,表中y的含义是不相交。,四、相容运算,两个多维体a和b的相容多维体是指不包含在a内也不包含在b内，而包含在内的最大的多维体。,运算规则,（1）两个多维体的所有n个组元中，当仅有一对组元的星积按星积表取值，则,（2）若不满足上述条件，则,星积表,表中y的含义是不相容。,*,五、锐积运算,两个多维体a和b的锐积a#b是一个多维体的集合，它是包含在a内且与b不相交的维数最大的多维体集合。锐积运算又称取补运算。,运算规则,（1）若对于一个，使ai#bi=y,则a#b=a,（2）若对于全部,都使,则,（3）当不满足上述两个条件,且对于任何一对组元满足ai#bi=ai时,若的每一个i都要构成一个多维体,则,第三节同步时序逻辑电路的计算机辅助逻辑设计,状态等效的条件是：当且仅当将每一个可能的输入序列施加于该时序电路时,不管电路处于哪一个初始状态,都产生相同的输出序列。,一、状态化简算法,第一步根据状态等效条件求出1等效类构成的划分1第二步对划分1中的1类等效类，连续划分为2，3，等效类的各状态对在每一可能输入组合作用下的次态全都划分在k+1的同一类等效类中。第三步若k+1k，则重复第二步，直到k+1=k，即再也不能进行新的划分，算法过程结束。,二、状态分配算法,第一步找出状态表中出现次数最多的状态Sk，令其编码CODEk=0。第二步以Sk为参考状态，若状态Si与状态Sj构成-相邻，则以与CODEk相邻的代码CODEi赋Si。第三步令CH=0，以每一个已分配代码的状态Si为参考状态，如果存在尚未分配代码的状态Sj，与状态Si构成-相邻，则以与CODEi相邻的代码赋CODEj，并令CH=1。,第四步测试CH值，若CH=1，则返回第三步；否则进入第五步。第五步依次检查每一个尚未分配的代码Sm，找到一个与Sm构成相邻且已分配了代码的状态Si，则以与CODEi相邻的代码赋