论文部分内容阅读
在工业控制领域中，控制芯片状态机的设计方法对芯片性能的高低和质量的优劣有举足轻重的影响，在状态机的HDL(Hardware Descrpton language)源代码中，其描述方法是状态机设计的核心部分。该文通过数学归纳法中的列表法对状态机描述的分类提出新的规则。文章剖析了状态机的结构，从状态转换图入手，将状态机的主体以列表的形式给出，使基于此列表的状态机描述方法的分类更具科学性。最后，讨论状态机列表法在源代码的编写、阅读和仿真测试中的应用。