机译:可观察性增强的语句覆盖率的有效评估和向量生成方法
Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, P.R. China;
design verification; simulation; coverage metrics; observability; vector generation;
机译:可观察性增强的语句覆盖率的有效评估和向量生成方法
机译:使用带椭圆形包络的均匀比率方法有效生成随机向量
机译:EFSM测试套件生成方法的故障覆盖率评估
机译:从HDL描述生成仿真向量,以增强可观察性的语句覆盖范围
机译:对在QBASIC和其他四种计算机编程语言之间传递基本计算机编程语句的方法的评估
机译:通过自杀载体在丙酮丁醇梭菌和糖丁酸梭菌中通过等位基因交换产生无标记突变体的有效方法
机译:从HDL描述生成模拟向量,用于可观察性增强的语句覆盖