寄存器传输电平
计算机科学
网络列表
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.
科研通智能强力驱动
Strongly Powered by AbleSci AI