收藏本站
《现代电子技术》 2007年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

有限状态机的可靠性设计研究

徐卫林  罗林  
【摘要】:有限状态机是VLSI数字系统设计中关键的一环,是实现高效率的逻辑控制的一条重要途径,但是不完善的状态机设计可能会严重影响系统的可靠性和稳定性。本文研究了状态机的设计方法和编码方式,其中重点研究了通过深入分析状态机图和系统的控制要求,改进状态机的跳转条件和跳转方向来提高系统的可靠性,软件仿真结果验证了设计的有效性。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 Elliott Fischer;文光;;密码特性的理论度量[J];信息安全与通信保密;1985年01期
2 王光兴;;有限状态机由软故障引起的状态转换错误概率[J];自动化学报;1985年01期
3 王光兴;;一种新型容错有限状态机的设计研究[J];自动化学报;1987年06期
4 王兵;刘永健;郑薇薇;;有限状态机实现数字滤波问题的研究[J];南京邮电大学学报(自然科学版);1990年01期
5 鲍璐,钱松荣,张根度;基于有限状态机的一致性测试例自动生成方法[J];计算机研究与发展;1996年03期
6 黄佩伟;电力线载波自动交换系统的软件设计[J];电讯技术;1999年04期
7 王巍,高德远;有限状态机设计策略[J];计算机工程与应用;1999年07期
8 朱宁,周润德,羊性滋;应用遗传算法进行低功耗状态编码[J];电子学报;2000年08期
9 董军;基于有限状态机的多媒体同步通信对象模型[J];计算机工程;2000年08期
10 李艺;李新明;;机顶盒系统中PPP协商机制的设计与实现[J];计算机科学;2000年06期
中国重要会议论文全文数据库 前10条
1 严隽薇;宋国斌;张克技;;一种实时系统分析法——H-P扩展法[A];第三届全国控制与决策系统学术会议论文集[C];1991年
2 朱维勇;傅桂生;;基于VHDL语言的有限状态机设计方法[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
3 周瑗;杨丽华;;有限状态机的VHDL设计[A];2004年电子技术学术研讨会论文集[C];2004年
4 黄洪;胥琳;叶枫;;新的对象概念与系统分析方法研究[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
5 张勇;王崇林;张鑫;;一种基于FPGA的A/D转换控制器的实现[A];第十五届全国煤矿自动化学术年会和中国煤炭学会煤矿自动化专业委员会学术会议论文集[C];2005年
6 杨光友;程良明;苏旭武;张铮;;基于FPGA的PCB测试机硬件电路设计[A];2005年十二省区市机械工程学会学术年会论文集(湖北专集)[C];2005年
7 郑康锋;杨义先;钮心忻;邓伟平;王秀娟;;针对VoIP系统的拒绝服务攻击研究[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
8 刘小兰;张传庆;叶梧;;FAMA协议的仿真研究[A];中国通信学会国防通信技术委员会学术研讨会论文集[C];2005年
9 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
10 王之梁;吴建平;尹霞;施新刚;;基于MSC测试目的的协议互操作性测试生成[A];2006年全国通信软件学术会议论文集[C];2006年
中国重要报纸全文数据库 前2条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 中国电子系统设备工程公司研究所 韩柯;软件质量谁把关?[N];计算机世界;2004年
中国博士学位论文全文数据库 前10条
1 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
2 刘莉;VXI测试平台中动态可重构多DSP系统设计方法的研究[D];浙江大学;2003年
3 张峰;基于网络处理器的高性能虚拟专用网研究与实现[D];浙江大学;2003年
4 李侠;低功耗嵌入式微处理器的VLSI设计研究[D];复旦大学;2004年
5 李中杰;基于全观察者的多输入输出变迁系统拒绝测试研究[D];清华大学;2004年
6 杜海江;高压无换向器电机及其控制技术研究[D];华北电力大学(河北);2005年
7 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
8 杨修涛;集成电路寄存器传输级故障模型与测试生成研究[D];中国科学院研究生院(计算技术研究所);2006年
9 高庆吉;基于粗糙集理论的移动机器人自主导航研究[D];哈尔滨工业大学;2006年
10 李华伟;基于RTL行为模型的测试产生及时延测试方法[D];中国科学院研究生院(计算技术研究所);2001年
中国硕士学位论文全文数据库 前10条
1 陈静;MPLS协议在G比特核心路由器上的设计和实现[D];郑州大学;2002年
2 刘方海;系统芯片中的存储器接口电路设计[D];合肥工业大学;2002年
3 曲鸣镝;移动通信网络中短消息中心的设计与实现[D];大连理工大学;2003年
4 李为建;基于开放式体系的仿型铣床数控系统研究[D];浙江大学;2003年
5 赵锐;第三代移动通信(WCDMA)系统无线接入网络应用部分(RANAP)的研究[D];西北工业大学;2002年
6 唐军;GSM移动终端软件MMI部分的设计与实现[D];西北工业大学;2003年
7 朱挺;低功耗有限状态机的综合与优化研究[D];浙江大学;2004年
8 徐秀华;基于元模型的用户界面建模系统的研究[D];大庆石油学院;2004年
9 王毅;PCI从设备安全芯片的设计[D];合肥工业大学;2004年
10 李辉;多媒体视频资源服务器在软交换中的应用[D];吉林大学;2004年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978