现代逻辑设计(第二版)(英文版)--国外电子与通信教材系列 简介:兰迪·h·卡茨,在加州大学伯克利分校获得硕士和博士学位。他现在已经是umc公司的特聘教授,主要从事电子工程及计算机科学方面的研究。卡茨教授是acm和ieee的会员、**工程学院和美国艺术与科学学院的成员。他曾发表过230余篇技术文章并赢得了无数的荣誉。1987年,他与伯克利的同事一起提出了廉价冗余磁盘阵列这一术语,并*早建立了raid的原型。1993年至1994年间,他离开学校后为政府工作,期间创建了**网站。 葛塔诺·博列洛是西雅图华盛顿大学的计算机科学及工程教授。他在斯坦福大学获得硕士学位。并在加州大学伯克利分校获得博士学位。他曾经是施乐公司“palo alto”研究**的成员,也是**个单芯片集成以太网控制器的设计者之一。1988年,他加入华盛顿大学,并因其在计算机工程本科学位的建立中做出的贡献获得了杰出教学奖。博列洛教授的研究兴趣主要是通用计算技术的设计,以及连接物理与虚拟世界的嵌入式系统的设计,这类嵌入式系统利用无线传感器来推断人类行为,并可产生自动适应其使用者需求的应用软件。博列洛教授是intel西雅图研究实

现代逻辑设计(第二版)(英文版)--国外电子与通信教材系列 目录:第1章 绪论 1.1 对书名的仔细分析 1.1.1 设计 1.1.2 逻辑设计 1.1.3 现代逻辑设计 1.2 逻辑设计简史 1.3 计算 1.3.1 开关、继电器和电路 1.3.2 晶体管 1.3.3 数字表示法 1.3.4 编码 1.4 实例 小结 其他读物 习题 第2章 组合逻辑 2.1 输出是输入的函数 2.1.1 组合逻辑的定义 2.1.2 组合逻辑实例 2.2 布尔逻辑的定律和定理 2.2.1 布尔代数的公理 2.2.2 布尔代数的定理 2.2.3 对偶定律和德摩根定律 2.3 布尔公式的实现 2.3.1 逻辑门 2.3.2 逻辑模块和逻辑层次 2.3.3 时间行为和波形 2.3.4 门和连线数目的*小化 2.3.5 实例研究:七段译码器 2.4 两级逻辑 2.4.1 规范形式 2.4.2 不完全确定函数 2.5 两级简化的动机 2.5.1 布尔表达式的图形化 2.5.2 布尔立方体 2.5.3 卡诺图 2.6 多级逻辑 2.7 多级*简的动机 2.7.1 因式分解形式 2.7.2 多级简化标准 小结 其他读物 习题 第3章 组合逻辑分析 3.1 两级简化 3.1.1 布尔*简的过程 3.1.2 重温卡诺图:五变量和六变量函数 3.2 两级简化的自动化 3.2.1 quine-mccluskey法 3.2.2 espresso法 3.2.3 s-o-p和p-o-s逻辑网络的实现 3.3 多级简化 3.4 多级简化的自动化 3.4.1 多级逻辑优化方法 3.4.2 多级逻辑网络的实现 3