一个有限状态机的例子,代码不多,但挺有用的,各位有需要的可以看看
推荐:基于有限状态机的UART设计.pdf写的很好值得下载
软关于有限状态机的件形式化方法,包括模型检测,外文论文打包。
研究了用Verilog实现有限状态机的各种不同编码方式和描述风格;并从综合"毛刺"面积"速度"这几方面研究了不同实现方式的利弊
用STATECAD快速设计有限状态机
基于有限状态机的软件测试方法.之前基于DBT的page-model模式,在页面数量和功能很大的情况下的伸缩性,扩展性都比较的差。需要更多的mapping来减少工作量,想到了新的测试模式。 之前基于
该资源具体的讲解了基于VerilogHDL的有限状态机的设计,相信会对大家有所帮助的。
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的
火龙果软件工程技术中心 应用程序有两大类:1.一种是数据处理的程序,我们常常用算法来描述它,程序对某些输入数据进行预定的处理,以便得到某些输出的数据,程序目前的状态可以用资料目前的状态来描述,例如:
UML状态图和活动图的分析与设计