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

基于完全确定有限状态机的控制器综合的验证

李炜  刘政怡  吴建国  
【摘要】:控制器综合从较高的抽象层次开始,使用硬件描述语言,采用综合优化工具进行,因此验证综合过程的正确性至关重要。本文采用图同构的方法对控制器综合前的完全确定有限状态机 STG_org 和从综合后结构实现逆向提取的完全确定有限状态机 STG_ext 进行等价性证明,从而验证综合过程的正确性;为进一步降低算法时间复杂度,利用综合过程状态化简的信息,提出带综合信息指导的验证算法,将时间复杂度从 O((B~2)/A·t_1(n)+A·t_2(m,n))降低到 O(B·t_1(n)+A·t_2(m,n)),理论上证明了算法的高效性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张涌,钱乐秋,王渊峰;基于确定有限状态机的测试输入序列选取[J];计算机研究与发展;2002年09期
2 刘霞;年小玲;游霞;;消除EFSM中状态迁移不确定的方法[J];攀枝花学院学报;2006年04期
3 夏银水;王伦耀;叶锡恩;;划分有限状态机的低功耗实现模型[J];计算机辅助设计与图形学学报;2007年05期
4 向培素;田珂;田野;;非确定部分有限状态机的一种新的一致性关系及其测试[J];西南民族大学学报(自然科学版);2007年06期
5 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[J];四川大学学报(工程科学版);2007年S1期
6 周先存;聂尧;;有限状态机在数字调度系统中的建模及应用[J];洛阳理工学院学报(自然科学版);2010年03期
7 卢晓南,刘泽;过程驱动法实现协议栈软件有限状态机的分析[J];计算机工程与应用;2001年24期
8 蒋凡;魏蓉;郐吉丰;;基于扩展有限状态机测试序列生成方法研究[J];计算机工程与应用;2007年07期
9 黄恩博;黄耿生;;基于有限状态机的协议测试方法[J];电脑知识与技术;2013年09期
10 徐小良,汪乐宇,周泓;有限状态机的一种实现框架[J];工程设计学报;2003年05期
11 徐秀华;王亚杰;乔敏东;;基于有限状态机的界面流描述与设计[J];计算机工程与设计;2007年06期
12 朱晟仁;黄瑞光;;有限状态机在动画角色行为中的建模应用[J];计算机技术与发展;2007年06期
13 赵玉成;;有限状态机在单片机编程中的应用[J];江苏教育学院学报(自然科学版);2008年04期
14 刘孙东;唐飞;;基于有限状态机的嵌入式菜单系统设计[J];顺德职业技术学院学报;2009年02期
15 李伟;门佳;;一种事件驱动有限状态机的编程实现框架[J];计算机与现代化;2014年06期
16 武楠;房立金;姜春英;张飞;;基于有限状态机的空间对接仿真平台控制系统设计[J];机器人;2007年04期
17 郭凯红;;关于有限状态机最小化理论的一个注记[J];辽宁大学学报(自然科学版);2008年03期
18 杨晓光;刘大鹏;;基于有限状态机的实验数据回放系统设计[J];微计算机应用;2009年08期
19 刁红军;李培峰;钱培德;;基于有限状态机的智能手机输入模型设计[J];中文信息学报;2009年05期
20 张文斗;陈璟;王楠;谷学强;;基于有限状态机的武器投放航迹仿真研究[J];微计算机信息;2010年28期
中国重要会议论文全文数据库 前8条
1 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年
2 李炜;刘政怡;吴建国;;基于完全确定有限状态机的控制器综合的验证[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
3 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
4 邹循进;叶云青;陈孝威;;C++游戏开发中可重用动态有限状态机设计与实现[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
5 方敏;;基于分层有限状态机的计算机取证推理方法[A];2008年计算机应用技术交流会论文集[C];2008年
6 刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
7 王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
8 张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国硕士学位论文全文数据库 前10条
1 张粟;大型多人在线角色扮演类游戏中有限状态机系统的设计与实现[D];北京交通大学;2010年
2 谭同超;有限状态机及其应用[D];华南理工大学;2013年
3 许固镇;关于直觉模糊有限状态机若干问题的讨论[D];广西师范大学;2011年
4 常珂;基于有限状态机的建模技术在备品备件管理系统中的实现[D];北京邮电大学;2010年
5 董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年
6 明小娜;基于扩展有限状态机模型的GIS人机对话模式设计与应用[D];南京师范大学;2011年
7 年晓玲;基于扩展有限状态机软件测试用例自动生成的研究[D];西南交通大学;2005年
8 朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年
9 张兵全;基于扩展有限状态机的LTE一致性测试系统的设计与实现[D];北京邮电大学;2013年
10 李维岩;基于HFSM模型的测试方案生成研究[D];北京工业大学;2014年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978