《计算机辅助逻辑综合》

目录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