《计算机辅助逻辑综合》PDF下载

  • 购买积分:10 如何计算积分?
  • 作  者:沈嗣昌编
  • 出 版 社:北京:高等教育出版社
  • 出版年份:1982
  • ISBN:15010·0419
  • 页数:227 页
图书介绍:

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