首页> 中文期刊> 《计算机辅助设计与图形学学报》 >事务级形式验证技术及8051验证模型

事务级形式验证技术及8051验证模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

提出一种基于事务的用于电路系统的形式验证方法(TBFV) .应用该方法,验证工程师可以在行为级对系统进行验证,无需了解设计的细节 .为了对该方法进行示范,验证了8051的RTL级实现,并给出了8051指令集的TBFV模型 .

著录项

来源
《计算机辅助设计与图形学学报》 |2003年第8期|921-924|共4页
作者
王彬; 任艳颖; 林争辉;
展开▼
作者单位

上海交通大学电子工程系,上海,200030;

上海交通大学电子工程系,上海,200030;

上海交通大学电子工程系,上海,200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动机理论;
关键词
基于事务的形式验证; 功能验证模型; 状态爆炸;

相似文献

中文文献
外文文献
专利

1. 基于事务形式验证(TBFV)及8051的TBFV模型 [J] . 王彬 ,林争辉 . 上海交通大学学报 . 2003,第10期
2. UML状态机模型形式化验证技术研究 [J] . 侯敏 ,宋文鹏 ,王泊涵 . 计算机工程与设计 . 2012,第009期
3. 一种自动的形式化验证技术-模型检测 [J] . 化志章 ,揭安全 ,薛锦云 . 微计算机信息 . 2007,第033期
4. 基于不同形式化模型的网络通信协议验证技术的分析与比较 [J] . 李艳 ,肖德宝 . 华中师范大学学报（自然科学版） . 2002,第004期
5. 基于时态逻辑的硬件设计形式化验证技术--模型检验1 [J] . 郭建 ,杜惠敏 ,韩俊刚 . 小型微型计算机系统 . 2001,第005期
6. 事务级验证在多级模型中的复用 [C] . 黄盈 ,桑楠 . 2006年全国第六届嵌入式系统学术年会 . 2006
7. 基于混合逻辑动态模型的预测控制与形式验证技术 [A] . 陆地 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号