%0 Journal Article
%T Automatic Simulation Vector Generation Using Interacting FSM Model<br>交互状态机模型模拟矢量自动生成方法
%A LI Tun
%A GUO Yang
%A LI Si-Kun
%A <br>李暾
%A 郭阳
%A 李思昆
%J 软件学报
%D 2003
%I 
%X 模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.
%K P-ROBDD (partitioned-reduced ordered binary decision diagrams)
%K automatic simulation vectors generation
%K coverage metrics
%K interacting finite state machines<br>划分的化简有序二分决策图
%K 模拟矢量自动生成
%K 覆盖率测度
%K 交互状态机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=D517859B2792BA99&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=38B194292C032A66&sid=3EABEBD973E45554&eid=20ED669EB429E15C&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=14