欢迎来到麦多课文档分享! | 帮助中心 海量文档,免费浏览,给你所需,享你所想!
麦多课文档分享
全部分类
  • 标准规范>
  • 教学课件>
  • 考试资料>
  • 办公文档>
  • 学术论文>
  • 行业资料>
  • 易语言源码>
  • ImageVerifierCode 换一换
    首页 麦多课文档分享 > 资源分类 > PDF文档下载
    分享到微信 分享到微博 分享到QQ空间

    SJ Z 11359-2006 集成电路IP核开发与集成的功能验证分类法.pdf

    • 资源ID:252146       资源大小:1.58MB        全文页数:19页
    • 资源格式: PDF        下载积分:5000积分
    快捷下载 游客一键下载
    账号登录下载
    微信登录下载
    二维码
    微信扫一扫登录
    下载资源需要5000积分(如需开发票,请勿充值!)
    邮箱/手机:
    温馨提示:
    如需开发票,请勿充值!快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
    如需开发票,请勿充值!如填写123,账号就是123,密码也是123。
    支付方式: 支付宝扫码支付    微信扫码支付   
    验证码:   换一换

    加入VIP,交流精品资源
     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

    SJ Z 11359-2006 集成电路IP核开发与集成的功能验证分类法.pdf

    1、目U寸口J1. 1 1.2 1.3 2 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 主=SJ/Z 11359 2006 .11 仁1主一一. .111 仁I. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    2、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 可J, . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    3、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2 也证. . . . . . . . . . . . . . . . . . .

    4、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 i正. . . . . . . . . . . . . . . . . . .

    5、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 三马L气目i5f(): Jll: 3 混合验证.4 Jll: 4 . .4

    6、 2.10 3 3.1 3.2 3.3 3.4 4 5 6 7 .5 .6 1又量. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    7、 . . . . . . . . . . . . . . . 日军又. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    8、. . . . . . . . . 7 d i正. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    9、. . . . . . . 1 0 AU 咽,I, 语IP l:. 11 i正. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    10、 . . . . . . . . . . . . . . . 12 日12 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . rw.证. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    11、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 13 14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    12、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 匕b曰矗E司Verification For Virtual Component Development and Integration Version 1.2附旨日,匕.I 1 曰, 能验证¥AO SJ/Z 11359 2006 石i。III SJ/Z 11359 2006 1. 2. 4 IP验证IP Veri

    13、fication 即元。1.3号SJ/Z 11358 2006 2 目的性验证2. 1 动态验证, 、,叉, 71三工二, 。、,能传遍到设t、国,1旦予,A Z三J良三马V.、目iz。 、!J区一去工I=l_ 日jVfL丸, 、nHH 止匕一皇序过二口17可7,, 30% 日50%良H、矗立hO二=11(, 、1 -R-态,。正03区山,也证能日2. 1. 3 旨为加、止匕一了们H=云,y巳、l行7go日情况I, 止匕2.1.4 2 -v 2006 、SJ/Z 11359 CProperty,仁;的是iJG 口, 。, -v , 正、节目4 P。, , i正日有个辑、l附言、TV,这了日J

    14、。, 、u日点就是它阳证日证日, 、l证日iE口。2.4 一、占,J r斗士,、17G-v l-T , 2.4.1 止匕).二三口日、i正日, 。2.4.2 、!JQ 。Y.!. , Z王1.I、,, 台或RTL。d 2.5 TmH , 。事 -+ : JC1、, c -F 、-口口口盖仨3, 、nHH =云,全在、17巳苦子,、n、-v , 。节加万i正日主实例跟踪计数-.态-形式混合验血村术崎岛、匕曰、必2.6 4 SJ/Z 11359 2006 止匕至i, , , 。2.7.3 A, 目lzlrTo JG nH 。些必y己、FPGADSP口Ut, 2.8 口口口、丸1jRF, T , ,

    15、 日 , 。v 计的正俐11:0 , , 、歹巳口日, , , 、能够比, , , 、会、,亩度十分口。, , ) _, 目E元良。2.9 It;:;j三主、亘主, 主三1 I 2. 9. 1 主主o 1、11-1-:1 1J1Z_ 1111. 盖二忽肘,所能i大手l工止匕, 工 比:4 主皿L口是行口八节执歹lx 。舌以 , 盖率:、一主皿立日, 7问斗、case if if.else if.else 予歹|ROM士2.9.2 功主三IIII , 、咽.、U_tJ.-、,II 、自匕1A -.J 巴主二.u-1:义:t飞z三WJ IfY.:;口1吁1、IUL0),ill.川J1 F3 1.I

    16、 LI ,I.,Q. 吁吐1 1 1 , 1、匕, , 11 1 飞11 .才旦LkIL1J, w.:、o . 1 . 1-1/口N:.二J士=L, 6 , 。2006 if SJ/Z 11359 2. 10. 12 event based simulation 至|, v , 、B召。verification formal 2.10.13 主皿。、T。, 2.10.14 coverage functional i i A忆自己、TO 予歹I, 2.10.15 hardware acceleration 日。 口、nHH 、t至|y巳2.10.16 hardware code coverage

    17、 盖率、/.JJ.、码盖率、TV过if.else、Ai.、目izif.else 、。2. 10. 17 hardware model ing , 1(,、)5。一兀hardware/software co verification 证2.10.18 。2.10.19 model 型。:见-F nu , A simulation non directed 2.10.20 。盖率path coverage if.else矛口case2.10.21 checkers protoco l_ 2.10.22 , 口, prototype physical 型2.10.23 8 SJ/Z 11359 20

    18、06 主皿triggering coverage 日2.10.37 verification metrics 。口盖2.10.38 型vi rtua I 口口口、prototype 。日、t正血,。2.10.39 盖率visitedstate coverage 3 , l , 日完善。时计意。、rsoc,, 。这些川、 , 工1、尘丛、口认。第7, 。3. 1 3. 1. 1 口2.1.1JiJTj二;二,, 门口n川H, 口主予, -y nHH 。、。A、Z玉Z3. 1. 3 。比, 。、rt、v 、JEDA工穴,、10 SJ/Z 11359 2006 、比工川,., . ,思。、(如- 口

    19、, 、口,工7巳。口、组合,组合、一) - 。3.2.2 , , 。A 口止匕I口3。3.3 、之前H、。 、-v , 、fGDSII, 日负豆E。, 止匕,一 网网。口互、E卡LF。日芯片加工、。3.4 3.4.1 , boolean equivalence checking 。3.4.2 equivalence checking 、f日J, 。主二 FSM arc coverage 3.4.4 、n、- functional to RTL test suite migration 、干合RTL级!当3.4.5 型golden model checkers 12 SJ/Z 11359 2006 7 、U各验证步骤验证技术模拟电硬件目的性仿真模型检验理论证明物理原型代码覆盖率软/硬件协同验证仿真软件目的性物理原型模拟硬件等效性仿真等效性检验故障覆盖率物理验证软/硬件协同验证仿真软件等效性物理原型14 , 。, 。功能级行为级RTL级RTL级RTL级RTL级行为级RTL级逻辑级功能级RTL级行为级RTL级RTL级行为级RTL级逻辑级行为级RTL级逻辑级门级开关级电路级RTL级RTL级门级门级几何图形数据电路级开关级门级行为级RTL级行为级RTL级逻辑级, , , , 模型


    注意事项

    本文(SJ Z 11359-2006 集成电路IP核开发与集成的功能验证分类法.pdf)为本站会员(brainfellow396)主动上传,麦多课文档分享仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文档分享(点击联系客服),我们立即给予删除!




    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

    copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
    备案/许可证编号:苏ICP备17064731号-1 

    收起
    展开