收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

模型检验技术的研究与应用

黄蔚  
【摘要】：本文首先介绍模型检验技术的概念,然后详细介绍模型检验技术的组成部分以及利用模型检验技术进行模块验证的流程,并利用总线仲裁的实例进行讲解分析,最后对模型检验技术进行总结和展望。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 邵明,李光辉,李晓维;模型检验中迁移关系的分组策略[J];计算机辅助设计与图形学学报;2003年09期
2 郭建,韩俊刚;SOC的形式化验证方法[J];西安邮电学院学报;2005年03期
3 汪磊;罗蓉;王志凌;;贵州省手机拥有量增长模型研究[J];现代经济(现代物业下半月刊);2009年04期
4 刘建元;数字电路设计中的符号模型检验技术[J];微电子学与计算机;2002年10期
5 冯毅;许经纬;易江芳;佟冬;程旭;;面向模型检验的跨时钟域设计电路特性生成方法[J];电子学报;2009年02期
6 韩俊刚;系统芯片的混合验证方法[J];西安邮电学院学报;2002年01期
7 谭华;古天龙;;Avalon片上总线协议的形式化建模与模型检验分析[J];桂林电子科技大学学报;2009年02期
8 朱明;边计年;吴为民;;面向系统功能特性的协同验证方法研究[J];计算机集成制造系统-CIMS;2005年12期
9 冯毅;易江芳;刘丹;佟冬;程旭;;面向SoC系统芯片中跨时钟域设计的模型检验方法[J];电子学报;2008年05期
10 周建政;吕柏权;;基于嵌入式Linux的RF手持设备红外通讯的设计[J];微型电脑应用;2008年02期
11 杨凯军,秦石乔,刘学业,王省书;MT8880在智能通讯系统中的应用[J];微处理机;1999年03期
12 Tom Fitzpatrick;;IC设计复杂化加剧 先进验证方式重要性倍增[J];电子测试;2005年11期
13 倪青;;集成电路的设计验证[J];电脑知识与技术(学术交流);2006年14期
14 邓澍军;吴为民;边计年;;RTL验证中的混合可满足性求解[J];计算机辅助设计与图形学学报;2007年03期
15 古天龙;形式化技术及其工业应用:现状与展望[J];桂林电子工业学院学报;2000年04期
16 ;SJ/Z 11359-2006《集成电路IP核开发与集成的功能验证分类法》概要[J];信息技术与标准化;2008年Z1期
17 赵燕妮;边计年;邓澍军;;利用SMT约束分解方法求解RTL可满足性问题[J];计算机辅助设计与图形学学报;2010年02期
18 刘建元;基于符号模型检验的硬件验证[J];微电子学与计算机;2002年05期
19 崔澎;;TI支持低成本IP电话[J];电子产品世界;2007年08期
20 曾琼;;基于替换的组合电路的等价性检验方法[J];成都信息工程学院学报;2006年02期
中国重要会议论文全文数据库 前7条
1 于庆梅;骆丽;;任务流模型检验的研究[A];中国通信集成电路技术与应用研讨会文集[C];2006年
2 吴为民;边计年;;采用CLP进行高层次设计的性质检验[A];第三届中国测试学术会议论文集[C];2004年
3 边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
4 邵明;李光辉;李晓维;;提取不可满足问题核[A];第十届全国容错计算学术会议论文集[C];2003年
5 陈闽川;吴为民;边计年;;基于可满足性问题求解的时序电路性质检验方法[A];第三届中国测试学术会议论文集[C];2004年
6 邓澍军;吴为民;边计年;;RTL验证中的混合可满足性求解[A];第四届中国测试学术会议论文集[C];2006年
7 张强;贾立恺;;VHDL在电子设计中的应用[A];2008年中国高校通信类院系学术研讨会论文集（下册）[C];2009年
中国博士学位论文全文数据库 前5条
1 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
2 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
3 王秀芹;基于SAT的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
4 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
5 范德会;基于PSA的集成电路形式验证方法研究[D];哈尔滨工程大学;2012年
中国硕士学位论文全文数据库 前10条
1 朱学仕;形式验证技术的应用研究[D];哈尔滨工程大学;2004年
2 徐琳琳;模型检验器前端系统的设计与实现[D];电子科技大学;2007年
3 闫硕;基于多项式符号代数的电路形式验证[D];北京交通大学;2011年
4 陈丽;基于BDD和SAT的形式验证方法的研究[D];哈尔滨工程大学;2007年
5 徐忠林;并发的广义符号轨迹赋值的研究[D];电子科技大学;2010年
6 刘彬;异步FIFO的设计与形式化验证[D];国防科学技术大学;2011年
7 吕毅;时序逻辑电路的形式验证方法研究[D];中国科学院研究生院（计算技术研究所）;2000年
8 徐志磊;紧凑型JTAG接口的设计与验证[D];上海交通大学;2010年
9 杨小磊;无引用计数域BDD包的实现及其优化[D];兰州大学;2007年
10 吴玉军;基于GSTE理论的抽象与细化问题的研究[D];电子科技大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）