- 1
- 2
- 3
- 4
- 5
各种验证技术在芯片设计流程中的应用
资料介绍
本文阐述了当今流行的验证技术(形式验证、随机、定向、约束随机、断言、属性检查)和语言SystemC、CIC++、SystemVerilog、Open-VERA、E等等),还探讨了各种验证技术在数字 ASIC传统设计流程中的场合(应采用何种技术和语言)和时机(设计者何时需要运用某项特定的技术或语言).
功能验证在设计周期中占了最大的一部分,这是一个人所共知的事实。然而,面对如此众多用于缓解该问题的现有技术,我们真正应该采用的是哪一项(或哪几项)?得到的答案通常并不简单明了,而且往往令人感觉含混不清和成本昂贵!
由象级越高,设计就越容易:同理,抽象级越高,就越容易犯较大的错误。如果产生架构缺陷,就有T能损害整个芯片,这与发生在逻辑门连接表级上的导线误连接是截然不同的(后者可通过重新连线的方法得到修复).
以Verilog 为例,它为设计者提供了一个较为简易的接口,以便在一个相当抽象的等级上进行设计。
然而,如果设计者并不知晓在多个设计周期中获得的语言的细微差别,那么就非常容易犯错。许多论文重阐述了Verilog 误用的不良后果。当设计曾经是瓶颈时,Verilog 独立地使设计生产率取得了指数性的提高(如采用原理图捕获),并首先推进了复杂芯片的开发!在众多的验证技术和语言、检验成为瓶颈的今天,相同的争议仍然存在。
部分文件列表
文件名 | 大小 |
1572184919各种验证技术在芯片设计流程中的应用.pdf | 264K |
部分页面预览
(完整内容请下载后查看)最新上传
-
21ic小能手 打赏10.00元 2天前
-
21ic小能手 打赏10.00元 2天前
-
cai0603 打赏3.00元 3天前
用户:CJQ_ENJOY
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
cai0603 打赏3.00元 3天前
用户:dongshao
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户:gsy幸运
-
21ic下载 打赏310.00元 3天前
用户:zhengdai
-
21ic下载 打赏310.00元 3天前
用户:小猫做电路
-
21ic下载 打赏310.00元 3天前
用户:liqiang9090
-
21ic下载 打赏270.00元 3天前
用户:kk1957135547
-
21ic下载 打赏160.00元 3天前
用户:w178191520
-
21ic下载 打赏160.00元 3天前
用户:w1966891335
-
21ic下载 打赏50.00元 3天前
用户:w993263495
-
21ic下载 打赏40.00元 3天前
用户:w993263495
-
21ic下载 打赏90.00元 3天前
用户:cooldog123pp
-
21ic下载 打赏30.00元 3天前
用户:sun2152
-
21ic下载 打赏40.00元 3天前
用户:xzxbybd
-
21ic下载 打赏40.00元 3天前
用户:铁蛋锅
-
21ic下载 打赏30.00元 3天前
用户:happypcb
-
21ic下载 打赏50.00元 3天前
用户:forgot
-
21ic下载 打赏10.00元 3天前
用户:xuzhen1
-
21ic下载 打赏20.00元 3天前
用户:wanglu6666
-
21ic下载 打赏5.00元 3天前
用户:人间留客
-
21ic下载 打赏5.00元 3天前
用户:jyxjiyixing
-
21ic下载 打赏5.00元 3天前
用户:akae_du
-
21ic下载 打赏5.00元 3天前
用户:ouyang_56
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
xlhtracy 打赏10.00元 3天前
-
xlhtracy 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
xlhtracy 打赏5.00元 3天前
-
czmhcy 打赏1.00元 3天前
资料:bitboy
全部评论(0)