覆盖率测度相关硕士博士期刊学术论文 - 信丰网

覆盖率测度相关论文

交互状态机模型模拟矢量自动生成方法

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆......

期刊

交互状态机模型模拟矢量自动生成方法数字系统覆盖率测度 Algorithms Finite automata Mathematical models Vec

看过本文同时还关注