当前位置：文档之家 › 基于扩展有限状态机和断言的总线接口协议测试平台

基于扩展有限状态机和断言的总线接口协议测试平台

  • 格式：pdf
  • 大小：276.85 KB
  • 文档页数：6
史再 峰 ，姚 素英 ，丁三川 ，高 静
（ 天津大学 电子信息工程学 院 ，天津 ３ ｏ 传统 的仿 真验证方法存在 可观 察及可控制性较差 、 自动化 水平低等缺 陷． 为此 ， 出 了 提
种基于扩展 有限状态机 （Ｆ Ｍ ） Ｅ Ｓ 和断 言的 Ｓ Ｃ接 口协议 测试 平 台， ｏ 该平 台是一种 自反馈 测试平 台， 它不仅 可以 自动
维普资讯
第４ 卷 １
第 ８期
天
津
大
学
学
报
Ｖｂ１４１ Ｎ Ｏ． ． ８
２０ ０ ８年 ８月
Ｊ ｕ ｎ ｆ ｉｎｉ ｎｖ ｒｉ ｏ ｒ ａ ｏ ａ ｊ Ｕ ｉｅｓ ｙ ｌ Ｔ ｎ ｔ
Ａｕ ２ ｇ． ００８
基 于扩 展 有 限状 态 机 和 断言 的 总线 接 口协 议 测 试 平 台
产生 大量符合协议规 范的测试激励 矢量 ， 而且可 以通过对 断言统计信 息的反馈提 供 多种偏置选择 ， 而进一步提 高验 从 证的 自动化水平． 该平 台用于对视 频后处理芯片 中 Ｗｉ ｂ ｎ 将 ｓ ｏ ｅ总线接 口协议 的功能验证 当中， ｈ 验证 结果表 明， 该平 台 可 以缩短仿 真验证 时间大约 ５ ％ ６ ％左右 ， ５ ～５ 有效地提 高了验证的效率和质量． 关键词 ：总线 接 口协议 验证 ；扩展有 限状 态机 ；断言 ；测试 平台
Ａｂｓｒ ｃ ： Ｉ Ｓ Ｃ ｄ ｓ ｇ ｆｏ ， ａ ｉ ｏ ａ ｓｍｕ ａ ｉ ｎ ｎ ｖ ｒｆｃ ｔ ｎ ａ ｅ ｉ ｔ ｔｏ ｓ ｕ ｈ ｓ ｎ ｉｉ ｉ ｔ ， ｔａ ｔ ｎ ｏ ｅ ｉ ｎ ｌ ｗ ｔ ｄ ｔ ｎ ｌ ｉ ｌ ｔｏ ａ ｄ ｅ ｉ ａ ｉ ｈ ｖ ｌ ｒ ｉ ｉ ｏ ｍｉ ｉ ｎ ｓ ｃ ａ ｉ ｖ ｓｂ ｌ ｙ ａ ｉ ｕ ｃ ｎ ｏ ｌｂ ｌ ｙ ａ ｄ ｌ ｗ ｕ ｏ ａｉ ｎ Ａｎ Ｓ Ｃ ｎ ｅ ａ ｅ ｐ ｏ ｏ ｏ ｅ ｔ ｅ ｃ ａ ｅ ｎ ｔ ｅ ｅ ｔ ｎ ｅ ｎ ｔ ｔ ｔ ｃ ｉ ｅ ｎ ｏ ｔ ｌ ｉ ｔ ｎ ｏ ａ ｔ ｍ ｔ ． ｏ ｉ ｔｒ ｃ ｒ ｔ ｃ ｌ ｓｂ ｎ ｈ ｂ ｓ ｄ ｏ ｈ ｘ ｅ ｄ ｄ ｆ ｉｅ ｓ ｅ ｍａ ｈ ｎ ｒ ａ ｉ ｏ ｆ ｔ ｉ ａ
ｍａ ｓｖ ｒ ｔ ｃ ｌｃ ｍｐ ｉｎ ｔｍｕ ｕ ， ｕ ｍｐ ｏ ｅ ｔ ｅ ｓｍｕ ａ ｉ ｎ ａ ｔ ｍａ ｉ ｎ ｂ ｒ ｖ ｄ ｎ ｕ ｅ ｏ ｓｂ ａ ｉ ｇ ｏ ｔｏ ｓ ｓｉ ｅｐ ｏｏ ｏ —ｏ ｌ ｔｓｉ ｌ ｓ ｂ ｔｉ ｒ ｖ ｈ ｉ ｌ ｔ ｕ ｏ ｔｏ ｙ ｐ ｏ ｉ ｉ ｇ ｎ ｍ ｒ ｕ ｉ ｓｎ ｐ ｉ ｎ ａ ｏ ｂ ｓ ｄ ｏ ｅ ｄ ａ ｋ ｏ ｓ ｅ ｉ ｎ ｓａ ｉｔ ａ ｆ ｒ ａ ｉ ｎ Ａ ｅ ｆｃ ｔｏ ｘ ｅ ｍｅ ｔ ｏ Ｗ ｉ ｈ ｎ ｕ ｎ ｅ ａ ｅ ｐ ｏ ｏ ｏ ｆ ａ ｅ ｎｆ ｅ ｂ ｃ ｎａ ｓ ｒ ｏ ｔｔ ｉ ｌｎ ｏ ｔ ｓ ｃ ｉ ｍ ｔ ． ｖ ｒｉ ａ ｉ ｎ ｅ ｐ ｒ ｏ ｉ ｉ ｎ ｓ ｂｏ ｅｂ ｓｉ ｔｒ ｃ ｒ ｔ ｃ ｌ ｔ ｆ ｏ ｖ ｄ ｏ ｐ ｓ — ｒ ｃ ｓ ｉ ｇ ｃ ｐ ｗａ ｅ ｏ ｅ ｔ ｈ ｓ ｔ ｓｂ ｎ ｈ．Ｅｘ ｅ ｍｅ ｔ ｌ ｒ ｓ ｌ ｈ ｗ ｈ ｔ ｔ ｉ ｅ ｔ ｅ ｃ ａ ｉ ｅ ｏ ｔｐ ｏ ｅ ｓ ｎ ｈｉ ｓ ｐ ｒ ｒ ｄ ｗｉ ｔ ｉ ｅ ｔ ｅ ｃ ｆ ｍ ｈ ｐｒ ｉ ｎ ａ ｅ ｕ ｔ ｓ ｏ ｔ ａ ｈ ｓ ｔ ｓｂ ｎ ｈ ｃ ｎ ｓ ｓ ｏ ｅ ｉ ｌ ｔ ｎ ｔ ｅｂ ５ ｈ ｒ ｎ ｓｍｕ ａｉ ｍ ｙ ５ ％一 ６ ％ ． ｄ ｅ ｅ ｔ ｅ ｙ ｉ ｐ ｏ ｅ ｔ ｅ ｖ ｒ ｃ ｔ ｎ ｑ ａｉｙ ａ ｄ ｅ ｃ ｅ ｃ ． ｔ ｏ ｉ ５ ｎ ａ ｆ ｃｉ ｌ ｖ ｍ ｒ ｖ ｅ ｆ ａ ｉ ｕ ｌ ｆ ｉ ｎ ｙ ｈ ｉ ｉ ｏ ｔ ｎ ｉ Ｋ ｅ ｗｏ ｄｓ ｂ ｓｉ ｔｒ ａ ｅ ｐ ｏ ｏ ｏ ｅ ｆｃ ｔ ｎ； ｅ ｔ ｎ ｅ ｎ ｔ ｔ ｔ ａ ｈ ｎ ｙ ｒ ： ｕ ｎ ｅ ｆ ｃ ｒ ｔ ｃ ｌ ｒｉ ａ ｉ ｖｉ ｏ ｘ ｅ ｄ ｄ ｆ ｉ ｓａ ｅｍ ｃ ｉ ｅ； ａ ｓ ｒｉ ｎ； ｔ ｓｂ ｎ ｈ ｉ ｅ ｓｅ ｏ ｔ ｅ ｔｅ ｃ
中图 分 类 号 ：Ｔ ４ ２ Ｎ ０ 文 献标 志 码 ：Ａ 文章 编 号 ：０ ９ —１ ７（ ０ ８ ８０ ５ －６ ４ ３２ ３ ２ ０ ）０ —９ ０ １
ＢｕｓＩ ｅ ｆ ｃ ｏ ｏ ｏ ｓｂｅ ｈ Ｂａ ｅ ｏ ｔ ｎｄｅ ｎｔ ｒ ａ ｅＰｒ ｔ ｃ ｌ Ｔｅ ｔ ｎｃ ｓ ｄ ｎ Ｅｘ ｅ ｄ
Ｆ ｎ ｔ ｔ ｔ ａ ｈ ｎ ｎ ｓ ｒ ｉ ｎ ｉ ｉｅＳ ａ ｅＭ ｃ ｉ ｅａ ｄ Ａｓ ｅ ｔｏ
ＳＨＩＺａ—ｅ ｇ， ＹＡＯ ｕ— ｉ ｇ， ＤＩ ｉｆ ｎ Ｓ ｙｎ ＮＧ ｎ ｃ ｕａ Ｓａ — ｈ ｎ， ＧＡＯ ｉ ｇ Ｊｎ
（ ｃ ｏ ｌ ｆ ｌｃｒｎｃＩｆｒ ｔ ｎＥ ｇｎ ｅ ｎ ，Ｔａｊ ｉｅｓ ｙ ｉｎｉ ０ ０ ２ ｈｎ ） Ｓ ｈ ｏ ｅｔ ｉ ｎｏｍａｉ ｎ ｉｅ ｒ ｇ ｉｎｉ Ｕｎｖｒｉ ，Ｔａｊ ３ ０ ７ ，Ｃ ｉａ ｏＥ ｏ ｏ ｉ ｎ ｔ ｎ
（ Ｆ Ｍ ） ｄ ａｓｒ ｏ ｓｐｏ ｏｅ ．ｔｗａ ｅｆ ｅ ｃｉｅｔｓ ｅ ｃ ， ｈｃ ｏ ｌ ｏ ｎｙ ａｔｍａｉａｌ ｅ ｅａ Ｅ Ｓ ａ ｓｅｔ ｎｗａ ｒｐ ｓｄ Ｉ ｎ ｉ ｓａｓｌ ｒａｔ ｅｔ ｎ ｈ ｗ ｉｈｃ ｕｄ ｎ ｔｏ ｌ ｕｏ ｔ ｌ ｇ ｎ ｒｔ － ｖ ｂ ｃ ｙ ｅ

合集下载

常用集成电路名词缩写汇总（第二版）

常用集成电路名词缩写汇总（第二版）

常⽤集成电路名词缩写汇总（第⼆版）重要说明整个集成电路的设计和⽣产链路很长,相关专有名称很多;本⽂对常见的集成电路相关的名词缩写进⾏了汇总,特别聚焦与集成电路设计领域,意在整理常⽤的数字电路/DC/PT/ICC/DFV/DFT/RTL/ATE相关⽅⾯的知识点,⽅便⼤家快速学习和掌握相关知识,⽅便⼤家查询;同时希望对学⽣将来的培训/⾯试等活动给予最⼤的帮助;⽂章按照字母排序的⽅式进⾏编排,⽅便⼤家查询;本次⽂章内容为第⼆次发布,我们将定期更新,逐步完善;欢迎⼤家提供相关信息⾄xgcl_wei微信号,帮助我们逐步完善内容,⽅便更多的⼈查询和使⽤,感谢您的参与,谢谢!英⽂全称中⽂说明ABV Assertion based verification基于断⾔的验证AES Advanced Encryption Standard⾼级加密标准,是美国政府采⽤的⼀种区块加密标准ADC Analog-to-Digital Converter指模/数转换器或者模数转换器AHB Advanced High Performance Bus⾼级⾼性能总线ALF Advanced Library Format先进（时序）库格式ALU Arithmetic and logic unit算数逻辑单元AMBA Advanced Microcontroller Bus Architecture⾼级微控制器总线体系ANT antenna天线效应AOP Aspect Oriented Programming⾯向⽅⾯编程APB Advanced Peripheral Bus⾼级外部设备总线API Application Programming Interface应⽤程序编程接⼝APR Auto place and route⾃动布局布线ARM Advanced RISC Machines 英国Acorn公司(ARM公司的前⾝)设计的低功耗成本的第⼀款RISC微处理器。

基于断言的验证方法在总线协议验证中的应用

基于断言的验证方法在总线协议验证中的应用

维普资讯
｜ ｌ。
¨
。麓 — 一 ＿ ，
■ 同济 大 学微 电子 中心 徐 盛 章玮 金 钊
基 于 断 言 的 验 证 方 法 在 总 线 协 议 验 证 中 的 应 用
誊
摘
要 ： 随着 Ａ Ｉ ＳＣ和 Ｓ Ｃ设 计 复 杂 程度 的不 断 提 高 ，功 能验 证越 来越 受 到 重视 。作 为新 兴 的验 证 方 法 ，基 于 ｏ
上 ， 由于它 具 有 简洁 的语 法 ，非常
有 利 于 读 写 ，能表 达 大 量 的设 计功
言描 述 文件 中 。而 灰 盒 是 介于 黑 盒
和 白盒 之 间 的验 证 方 法 ，包含 了一 定 的 设 计 实现 特 性 。
基 于 断 言 的 验 证 方 法 在 总 线 协 议 验 证 中的 应 用
对 断 言 也都 有 更 好 的 支 持 。 另 外 ，
各 种 仿真 工 具 对 断 言 的 支持 ，尤 其 是 断 言在 形 式 验 证 中的 应用 ，使基 ２ ０ ． 电子 设 计应 用 ＷＷＷｅ ｗ ｃ Ｉ．ｎ ０６１ １ ．ａ ．ｏｎｃ
维普资讯
随着 芯 片 复 杂 程 度 的增 加 ， 挥 了 越来 越 重 要 的作 用 。 保
断 言 可 以描 述 组 合逻 辑 特 性 ，
也 可 以描 述 时 序 逻辑 特 性 。断 言 可
对 于硬 件 的 断 言 和
以嵌 入 在 源 代 码 中 ，也 可 以在 单 独
的文 件 中加入 。 断 言 的检 查 可 以通
大提 高验 证 效 率 。 本 文 在 举 例 时用 到 的 断 言语 言
（） 以用 作 记 录 文 档 的语 言 ： ６可
验证的方法篇之一：动态仿真

验证的方法篇之一：动态仿真

验证的⽅法篇之⼀：动态仿真从这⼀季开始我们进⼊了《验证的⽅法篇》，之所以单独分出⼀季来介绍验证的⽅法和⼯具，⼀⽅⾯是⽬前验证⽅法的分⽀和其⼯具种类繁多，另外的是希望读者可以在系统了解了验证的⼯具库之后，在验证设计的时候⾸先有⼀套⼯具箱，⽽后再根据设计的特点将其结合不同的验证⽅法和⼯作，最终取得满意的效果。

从Wilson 2014年调查数据来看，验证占据了主要的⼈⼒资源，同时也是设计能否达标低缺陷率的主要保障。

从2007年到2014年的增长趋势来看，由于设计的复杂度逐年攀升，与之带来的验证压⼒和实际⼈⼒资源配置都相应提⾼。

除了⼈⼒的投⼊，设计⾃动化（DA，design automation）⼯具关于验证的⽅法、特性、性能提⾼都在协助验证⼈员来⾯对新的验证挑战。

到了⽬前的阶段，已经没有⼀种单⼀的⼯具、语⾔或者⽅法可以提供⽤来实现验证完备性。

实际的验证⼯作中，我们需要通过多种语⾔、⽅法、脚本、⼯具最终达到验证的的⽬的。

这些不同的语⾔、⽅法、脚本和⼯具之间没有绝对的优劣，⽐如仿真验证⽅式会协同形式验证⽅式⼀同来完善功能覆盖率，也有可能通过不同语⾔的脚本之间的整合来最终完成⼀项验证流程。

总⽽⾔之，作为⼀名有经验的⼯程师，他需要在掌握现有的各种⽅法和⼯具的前提下，通过合理的选择，最后“保质⾼效低耗”地完成验证任务。

所以，我们将根据验证的⽅法分为若⼲类为⼤家梳理⽬前主流的验证⽅法和⼯具。

这些主要的验证⽅法可以分为：动态仿真（dynamic simulation）静态检查（formal check）虚拟模型（virtual prototype）硬件加速（hardware acceleration）电源功耗（power consumption）性能评估（performance evaluation）在此之上，我们额外引⼊⼀篇开发环境来将⽇常的编码环境与⼤家介绍，所谓⼯欲善其事，必先利其器，有⼀个应⼿的开发⽅式，也是迈向⾼效率的⼀步。

窄带物联网通信技术智慧树知到答案章节测试2023年山西职业技术学院

窄带物联网通信技术智慧树知到答案章节测试2023年山西职业技术学院

绪论单元测试1.NB-IoT全称是NarrowBand IoT，也称窄带物联网通信技术。

（）A:ConstcranedB:NarrowBandedC:NarrowBandD:Consctrined答案:C2.2013年，沃达丰与华为携手开始了新型通信标准的研究，起初他们将该通信技术称为“ ”（）A:NB-O2OB:NB-T2MC:NB-M2MD:NB-M2T答案:C3.NB-IoT智能在水表、电表行业应用。

（）A:错B:对答案:A4.2020年7月3GPP 5G技术在ITU-R WP5D会议上正式被接受为ITU IMT-2020 5G技术标准，从此NB-IoT被纳入全球5G标准。

（）A:对B:错答案:A第一章测试1.物联网理念最早出现于比尔·盖茨1995年《》一书。

在书中，比尔·盖茨提及了物物互联，只是当时受限于无线网络、硬件及传感设备的发展，并未引起重视。

（）A:理想之路B:人生之路C:未来之路D:光明之路答案:C2.我国政府也高度重视物联网的研究和发展。

2009年8月7日，时任国务院总理温家宝在无锡视察时发表重要讲话，提出“ ”的战略构想，表示中国要抓住机遇，大力发展物联网技术。

（）A:感知未来B:智慧社区C:智慧地球D:感知中国答案:D3.物联网的无线通信技术有很多种，其中短距离无线通信技术，代表技术有WIFI、蓝牙、、Z-Wave等。

（）A:LTEB:5GC:NB-IoTD:ZigBee答案:D4.eMTC通过对LTE协议进行剪裁和优化以适应中低速物联网业务的需求，传输带宽是。

由于eMTC的基础设施是现成的，大部分LTE基站可以升级为支持eMTC。

（）A:1.2MHzB:1.6MHzC:1.8MHzD:1.4MHz答案:D5.随机相位多址接入RPMA技术，是Ingenu公司拥有的一项专利技术，工作在的非授权频谱，在全球都属于免费频段，可以实现全球漫游。

（）A:2.2MHzB:2.4kHzC:2.4MHzD:2.4GHz答案:D6.我们把物联网分为四层，由下至上，第一层是感知识别层，第二层是。