计算机辅助逻辑综合PDF电子书下载

目录 1

第一章　立方符号法及立方运算 1

§1-1　立方符号法 1

§1-2　基本的立方运算 7

§1-3　常用的基本子程序及函数辅程序 20

第二章　单输出函数的综合 28

§2-1　求函数的本原蕴涵 31

§2-2　选拔法构成函数的无冗余覆盖 41

§2-3　限界分枝算法 51

§2-4　直接构成无冗余覆盖的算法 55

§2-5　综合单输出二级电路的子程序 60

第三章 多输出函数的覆盖 71

§3-1 多输出函数的立方表示法 72

§3-2　本原蕴涵、极值、优选 78

§3-3　构成多输出函数的初始连接覆盖 84

§3-4　消去冗余连线 97

§3-5　综合多输出二级电路的子程序 99

第四章 多级电路的综合 113

§4-1　因子分解 113

§4-2　综合扇入有限制的与非网络 124

§4-3　考虑扇入、扇出限制的多输出 135

与非网络的综合 135

§4-4　函数分解 141

第五章 同步时序电路综合 153

§5-1　状态化简 156

§5-2　状态分配 173

§5-3　时序电路的实现 194

§5-4　综合同步时序电路的子程序 196

参考文献 227