数字IC设计流程

基于standcell的简单ASIC设计流程如下

  • 算法模型(C/C++/Matlab)
  • RTL HDL(VHDL/Verilog)
    RTL——Register Transfer Level(寄存器传输级)
    不关心寄存器和组合逻辑的细节,通过寄存器到寄存器的逻辑功能来描述电路的HDL层次,比门级简单高效的多。
    RTL HDL最重要的特性就是可进行综合生成网表文件。
  • Netlist Verilog
    网表文件是具体的电路结构图
  • Layout GDSII
    对网表文件进行布局布线为实际电路版图
  • Tape - Out
    流片阶段

详细流程

第一步 Marketing request(市场需求)

第二步 Architecture Specification.(产品结构说明书)

架构师担纲把顶层架构和项目函数说明文档给出

  • top architect
  • project function spec

第三步 Arch/Algorithm Emulation(算法模拟)

算法工程师用C/C++/Matlab进行算法模拟仿真

第四步 Design Spec (设计规格说明书)

即产品说明文档,类似软件开发过程中的产品经理给出的文档

第五步 RTL coding 阶段(Top层)和IP Level RTL Coding 阶段(IP层)

代码实现
RTL design engineer使用硬件描述语言进行电路描述

第六步 simulation&verification 仿真验证阶段

  • RTL simulation 和 RTL verification
  • IP Level RTL simulation 和 IP Level verification
  • Unit/Chip Level RTL simulation 和 Unit/Chip Level verification
仿真验证工具
  • Cadence 公司——Incisive
  • Synopsys公司——VCS
  • Mentor公司——QuestaSim

第七步 逻辑综合阶段Logic Synthesis——属于前端范畴

设计和验证结束后就是逻辑综合阶段,逻辑综合会把设计实现的RTL代码映射到特定的工艺库上,输出成门级网表Netlist。
需要注意的是逻辑综合需要基于特定的综合库,不同的库中,门电路基本标准单元standard cell的面积、时序参数是不一样的。

逻辑综合工具
  • Cadence 公司——Genus
  • Synopsys公司——Design
  • Compiler公司——DC

第八步 形式验证阶段——属于前端范畴

上个阶段输出了网表,那么输出的网表是否和HDL设计一致呢?所以需要对网表进行验证,也叫形式验证。常用的就是等价性检查(equivalence check)方法,以功能验证后的HDL设计为参考,对比综合后的网表功能,他们是否在功能上存在等价性,保证在逻辑综合过程中没有改变原先HDL描述的电路功能。

形式验证工具
  • Cadence 公司——Conformal
  • Synopsys公司——Formality

第九步 STA阶段(静态时序分析)——属于前端范畴

主要是在时序上对电路进行验证,检查电路是否存在建立时间(setup time)和保持时间(hold time)的违例(violation)

STA工具
  • Cadence 公司——Tempus
  • Synopsys公司——Prime Time(PT)

第十步 DFT阶段(design for test)——属于后端范畴

可测性设计,在设计中插入扫描链。

DFT工具:

BSCAN技术– 测试IO pad,主要实现工具是:Mentor的BSDArchit、sysnopsy的BSD Compiler;
MBIST技术– 测试mem,主要实现工具是:Mentor的MBISTArchitect 、Tessent mbist;
ATPG 技术– 测试std-logic,主要实现工具是:产生ATPG使用Mentor的 TestKompress 、synopsys TetraMAX,插入scan chain主要使用synopsys 的DFT compiler。

第十一步 版图生成,自动布局布线阶段(PR)——属于后端范畴

放置芯片的宏单元模块,影响芯片的最终面积,IP模块、RAM、I/O引脚等摆放位置。

自动布局布线工具
  • Cadence 公司——Innovus
  • Synopsys公司——IC Compiler(ICC)

第十二步 时钟树插入阶段

时钟的布线,时钟的分布应该是对称式的连接到各个寄存器单元,从而使时钟从同一个时钟源到达各个寄存器时,时钟延迟差异最小。

第十三步 DRC/LVS物理验证阶段

DRC——Design Rule Check 设计规则检查
LVS——Layout Versus Schematic 版图一致性验证

物理验证工具
  • Cadence 公司——Diva/Dracula
  • Synopsys公司——Hercules
  • Mentor公司——Calibre

第十四步 Post_Layout STA

第十五步 生成最终的GDSII

GDSII流格式,常见的缩写GDSII,是一个数据库文件格式。它用于集成电路版图的数据转换,并成为事实上的工业标准。GDSII是一个二进制文件,其中含有集成电路版图中的平面的几何形状,文本或标签,以及其他有关信息并可以由层次结构组成。GDSII数据可用于重建所有或部分的版图信息。它可以用作制作光刻掩膜版。

第十六步 Tap-Out 流片

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 194,457评论 5 459
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 81,837评论 2 371
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 141,696评论 0 319
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 52,183评论 1 263
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 61,057评论 4 355
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 46,105评论 1 272
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 36,520评论 3 381
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 35,211评论 0 253
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 39,482评论 1 290
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 34,574评论 2 309
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 36,353评论 1 326
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,213评论 3 312
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 37,576评论 3 298
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 28,897评论 0 17
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,174评论 1 250
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 41,489评论 2 341
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 40,683评论 2 335

推荐阅读更多精彩内容