Semantic finite state machine (SFSM) coverage is also analyzed.
对于状态机测试，重点分析了SFSM覆盖。
参考来源 - 浮点FFT的VHDL实现及HDL功能测试方法的研究The first one is root process idrp, and the other is child process idrp_conn. Then, it describes and implements the two processes by the finite state machine (FSM).
本文将IDRP协议分成两个进程:根进程idrp和连接进程idrp_conn,并且用两个有限状态自动机描述和实现了它们,完成了IDRP协议的基本功能模型并在在OPNET软件中仿真了该模型。
参考来源 - 基于OPNET的航空电信网IDRP协议研究与实现The software design of CPLD makes full use of the mean of the Limit State Machine, which improves the reliability of software.
本文采用有限状态机的方法完成了CPLD的软件编程设计,提高了CPLD的可靠性。
参考来源 - 基于虚拟仪器的超声检测的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐