{RT}SOC/ASIC设计、验证和测试方法学-沈理中山大学出版社 9787306026 pdf epub mobi txt 电子书下载 2024

图书介绍

☆☆☆☆☆
简体网页||繁体网页

沈理著

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到静流书站

windowsfront.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-05

类似图书点击查看全场最低价

店铺：华裕京通图书专营店

出版社：中山大学出版社

ISBN：9787306026828

商品编码：29748481141

包装：平装

出版时间：2006-03-01

{RT}SOC/ASIC设计、验证和测试方法学-沈理中山大学出版社 9787306026 epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

{RT}SOC/ASIC设计、验证和测试方法学-沈理中山大学出版社 9787306026 pdf epub mobi txt 电子书下载

具体描述

图书基本信息
图书名称	SOC/ASIC设计、验证和测试方法学	作者	沈理
定价	35.00元	出版社	中山大学出版社
ISBN	9787306026828	出版日期	2006-03-01
字数		页码
版次	1	装帧	平装

内容简介

本书阐述设计系统芯片(SOC)所需的新的设计、验证和测试方法学，其基本原理同样适合于超大规模专用集成电路芯片(ASIC)的设计。本书分两大部分：部分为1～5章，是本书方法学的主要内容；第二部分为6，7章，介绍实际的电子设计自动化(EDA)工具和设计环境。章简述集成电路的发展，介绍国际半导体技术路线图，以及SOC设计所面临的挑战。第2章阐述SOC设计方法学，包括SOC的模型、设计分层，介绍设计重用和虚拟插座接口技术。第3章阐述SOC／ASIC验证方法学，包括功能验证、等价验证、静态分析验证、物理验证等。第4章阐述SOC／ASIC测试方法学，介绍集成电路测试技术和可测试性设计方法。第5章介绍设计集成电路常用的硬件描述语言及其新发展，包括SystemC，SystemVeri—log，OpenVera等语言。第6章介绍synopsys公司的EDA系统，以及相应的IC设计和验证方法学。第7章给出一个Philips S0C设计平台的实例。
本书主要是面向进入IC设计领域工作的科技人员、相关专业大学生和研究生，以及对高新技术有兴趣、需要更新知识的人群。

作者简介
沈理，男，1937年10月出生，浙江省人。1959年毕业于浙江大学电机工程系，并进入中国科学院计算技术研究所工作。研究员，博士生导师。从事计算机学科领域的研究工作。早期曾参加我国台大型电子管计算机——104机的研究工作，以及多台计算机的电路研究和体系结构设

章绪论
1.1 集成电路工业发展里程碑
1.2 半导体技术发展路线图
1.3 集成电路设计驱动
1.4 soc设计挑战
参考文献
第2章 SOC设计
2.1 SOC模型
2.2 SOC设计分层
2.3 SOC系统设计
2.4 SOC硬件设计
2.5 SOC设计重用技术
2.6 S0c设计方法学
参考文献
第3章 SOC／ASIC验证
3.1 验证技术概述
3.2 模拟
3.3 验证测试程序自动化
3.4 Lint检验
3.5 静态时序分析
3.6 形式等价检验
3.7 形式模型检验
3.8 定理证明验证
3.9 断言验证
3.10 集成电路设计的验证方法学
参考文献
第4章 SOC／ASIC测试
4.1 测试技术概述
4.2 故障模拟
4.3 自动测试向量生成
4.4 电流测试
4.5 存储器测试
4.6 可测试性设计技术
4.7 扫描设计
4.8 边界扫描设计
4.9 内建自测试(BIST)
4.10 存储器的可测试性设计
4.11 SOC的可测试性设计
4.12 可调试性设计
4.13 可制造性设计和可维护性设计
4.14 集成电路的测试方法学
参考文献
第5章集成电路设计语言
第6章 Synopsys EDA系统
第7章 SOC设计平台实例——Philips Nexperia-DVP
附录英文缩写词