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

任务流模型检验的研究

于庆梅  骆丽  
【摘要】:本文对任务流模型检验技术进行了讨论。任务流方法不关心状态数量、能否从一个指定状态到达另一指定状态及系统必须的状态是否存在,而是关心状态组合提供的功能是否存在及各状态组合之间是否存在指定的转换关系,从而避免了状态空间爆炸问题。模块搜索算法以模块为基础对任务流模型进行搜索来验证给定系统是否满足规范要求。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 韩俊刚;系统芯片的混合验证方法[J];西安邮电学院学报;2002年01期
2 邵明,李光辉,李晓维;模型检验中迁移关系的分组策略[J];计算机辅助设计与图形学学报;2003年09期
3 郭建,韩俊刚;SOC的形式化验证方法[J];西安邮电学院学报;2005年03期
4 汪磊;罗蓉;王志凌;;贵州省手机拥有量增长模型研究[J];现代经济(现代物业下半月刊);2009年04期
5 刘建元;数字电路设计中的符号模型检验技术[J];微电子学与计算机;2002年10期
6 须自明;刘战;王国章;于宗光;;各种验证技术在SoC设计中的应用[J];微计算机信息;2006年02期
7 韩伟华;;基于断言的硬件设计功能验证技术[J];电子设计技术;2004年11期
8 冯毅;许经纬;易江芳;佟冬;程旭;;面向模型检验的跨时钟域设计电路特性生成方法[J];电子学报;2009年02期
9 余金山;谭庆平;李暾;;利用UML-RT序列图支持基于事务的SoC系统级功能验证[J];计算机工程与科学;2007年03期
10 王国章;须自明;刘战;于宗光;;SoC芯片验证技术的研究[J];微计算机信息;2007年23期
11 谭华;古天龙;;Avalon片上总线协议的形式化建模与模型检验分析[J];桂林电子科技大学学报;2009年02期
12 朱明;边计年;吴为民;;面向系统功能特性的协同验证方法研究[J];计算机集成制造系统-CIMS;2005年12期
13 ;SJ/Z 11359-2006《集成电路IP核开发与集成的功能验证分类法》概要[J];信息技术与标准化;2008年Z1期
14 蒋安平;;SOC设计验证技术[J];中国集成电路;2004年05期
15 郭汉桥;褚丽丽;;电子设备BIT验证技术研究[J];黑龙江科技信息;2010年18期
16 ;验证技术开发趋势[J];电子设计技术;2003年08期
17 Rangarajan(Sri)Purisai;如何选择正确的验证方法[J];电子设计应用;2005年05期
18 黄荣志;郑建宏;;基于IC设计的验证技术[J];电子质量;2006年09期
19 段然;梁婕;;SoC系统验证方法研究[J];航天控制;2009年03期
20 董杨鑫;郑建宏;;SoC设计验证策略及方法学[J];电子质量;2007年10期
中国重要会议论文全文数据库 前10条
1 于庆梅;骆丽;;任务流模型检验的研究[A];中国通信集成电路技术与应用研讨会文集[C];2006年
2 边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
3 吴为民;边计年;;采用CLP进行高层次设计的性质检验[A];第三届中国测试学术会议论文集[C];2004年
4 徐煜玮;吴少俊;夏宇闻;;基于断言的验证技术[A];全国第十届信号与信息处理、第四届DSP应用技术联合学术会议论文集[C];2006年
5 韩俊刚;吴为民;李暾;杜慧敏;;(A7)专题讨论2:形式验证与模拟验证[A];第四届中国测试学术会议论文集[C];2006年
6 邵明;李光辉;李晓维;;提取不可满足问题核[A];第十届全国容错计算学术会议论文集[C];2003年
7 陈闽川;吴为民;边计年;;基于可满足性问题求解的时序电路性质检验方法[A];第三届中国测试学术会议论文集[C];2004年
8 杨孟飞;周新发;马飞;刘鑫;孙增圻;;工控机主板高速PCB设计技术的研究与实现[A];2005年中国智能自动化会议论文集[C];2005年
9 邓澍军;吴为民;边计年;;RTL验证中的混合可满足性求解[A];第四届中国测试学术会议论文集[C];2006年
10 吳貴能;陳政憲;簡育德;;积分球式量测之空间均匀性验证技术[A];海峡两岸第十八届照明科技与营销研讨会专题报告暨论文集[C];2011年
中国博士学位论文全文数据库 前6条
1 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
2 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
3 王秀芹;基于SAT的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
4 郑飞君;基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究[D];浙江大学;2008年
5 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
6 卢永江;超大规模集成电路形式验证的方法研究[D];浙江大学;2005年
中国硕士学位论文全文数据库 前10条
1 陈哲;基于OVM的集成电路验证技术研究与应用[D];北京邮电大学;2012年
2 梁骏;芯片设计的验证技术和验证流程研究[D];浙江大学;2004年
3 王玉欢;基于IIP模块的覆盖率驱动验证技术[D];西安电子科技大学;2009年
4 朱学仕;形式验证技术的应用研究[D];哈尔滨工程大学;2004年
5 王健健;80C51 IP软核测试与应用技术研究[D];北京交通大学;2008年
6 古进;超大规模集成电路设计流程中的验证技术及实践[D];浙江大学;2004年
7 何叶东;IP芯核设计和验证技术的研究[D];合肥工业大学;2005年
8 徐琳琳;模型检验器前端系统的设计与实现[D];电子科技大学;2007年
9 金颖;通信芯片验证方法的研究[D];哈尔滨工程大学;2008年
10 廖峰;16位DSP IP核的设计与验证技术[D];西安电子科技大学;2007年
中国重要报纸全文数据库 前4条
1 郭长佑;演化中的IC设计验证技术[N];电子资讯时报;2006年
2 陈先勇;几种主流的验证技术[N];计算机世界;2007年
3 新华;激光扫描鉴别药品真伪[N];科技日报;2007年
4 记者邓国庆;能精确分辨味道“电子舌”面世[N];科技日报;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978