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