基于带参系统Murphi模型的SMV自动建模_段凯强1

【文件属性】：

文件名称：基于带参系统Murphi模型的SMV自动建模_段凯强1

文件大小：658KB

文件格式：PDF

更新时间：2022-08-03 18:05:09

摘要:提出了一种基于带参系统的Murphi模型来完成对应的SMV自动化建模的方法.因为Murphi工具拥有带参特性, 因此使用其对带参系统进行建模比较容易, 而