已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

Digital Integrated Circuit Design

寄存器传输电平 计算机科学 网络列表 Verilog公司 VHDL语言 物理设计 可测试性 计算机体系结构 硬件描述语言 电路设计 电路提取 超大规模集成 数字电子学 形式等价性检查 异步电路 计算机硬件 集成电路 计算机工程 嵌入式系统 逻辑综合 电子线路 形式验证 现场可编程门阵列 逻辑门 等效电路 理论计算机科学 工程类 算法 可靠性工程 同步电路 电气工程 时钟信号 电压 操作系统 电信 抖动
作者
Jun Yang,Peng Cao,Weiwei Shan,Longning Qi,Xinning Liu
标识
DOI:10.1007/978-981-99-2836-1_36
摘要

This chapter introduces the classification, design methods, and main features of digital ICs. Circuit partitioning is a valuable method to reduce the complexity of VLSI design, in which hardware description language (HDL) is used to model the concurrent execution process of hardware circuits, including Verilog and VHDL. High-level synthesis (HLS) transforms the behavioral-level description into circuit structure descriptions under certain constraints. Following the logic synthesis that transforms the register transfer level (RTL) description into the gate-level structure description, various methods are used to implement and verify a digital IC design, such as formal verification, the mathematical method to analyze circuit behavior to find circuit functional error, timing analysis to ensure the normal operation of the circuit including setup and hold time constraints, floor planning to place the main modules of the design to meet requirements for die size, as well as timing closure and routing. In addition, design for testability (DFT) is used to detect chip manufacturing defects by inserting extra units without changing the circuit function, and the hardware emulation uses dedicated hardware to perform circuit functions for the circuit function verification, etc.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
yy完成签到 ,获得积分10
刚刚
1秒前
sxin发布了新的文献求助10
6秒前
一一完成签到 ,获得积分10
6秒前
甜心心完成签到,获得积分10
7秒前
无花果应助岚岚采纳,获得10
9秒前
kjding完成签到,获得积分10
10秒前
稳重的一曲完成签到,获得积分10
11秒前
12秒前
NIKEwang完成签到,获得积分10
14秒前
nav完成签到 ,获得积分10
15秒前
QYR完成签到,获得积分10
17秒前
tuanheqi完成签到,获得积分0
18秒前
Rjy完成签到 ,获得积分10
22秒前
等待寄云完成签到 ,获得积分10
24秒前
小马甲应助甜心心采纳,获得10
26秒前
29秒前
33秒前
biubiubiu完成签到 ,获得积分10
33秒前
jzhou65完成签到,获得积分10
39秒前
ccc完成签到 ,获得积分10
39秒前
单薄惜梦发布了新的文献求助10
39秒前
的法国队完成签到,获得积分10
48秒前
孝艺完成签到 ,获得积分10
48秒前
爆米花应助单薄惜梦采纳,获得10
50秒前
英姑应助科研通管家采纳,获得10
52秒前
华仔应助科研通管家采纳,获得10
52秒前
吉千凡应助科研通管家采纳,获得10
52秒前
吉千凡应助科研通管家采纳,获得10
52秒前
丘比特应助科研通管家采纳,获得10
52秒前
53秒前
54秒前
apollo3232完成签到,获得积分10
56秒前
59秒前
悠悠夏日长完成签到 ,获得积分10
59秒前
单薄惜梦完成签到,获得积分20
1分钟前
yoke发布了新的文献求助10
1分钟前
蔡夜安完成签到,获得积分10
1分钟前
1分钟前
嗯哼应助明亮若枫采纳,获得20
1分钟前
高分求助中
中国国际图书贸易总公司40周年纪念文集 大事记1949-1987 2000
TM 5-855-1(Fundamentals of protective design for conventional weapons) 1000
草地生态学 880
Threaded Harmony: A Sustainable Approach to Fashion 799
Basic Modern Theory of Linear Complex Analytic 𝑞-Difference Equations 510
Queer Politics in Times of New Authoritarianisms: Popular Culture in South Asia 500
Livre et militantisme : La Cité éditeur 1958-1967 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3059460
求助须知:如何正确求助?哪些是违规求助? 2715402
关于积分的说明 7444888
捐赠科研通 2360925
什么是DOI,文献DOI怎么找? 1251043
科研通“疑难数据库(出版商)”最低求助积分说明 607671
版权声明 596448