Data path; high level synthesis; simulation; testbench; verification;
机译:构造数据路径测试序列的新方法
机译:生成协议一致性测试序列的正式方法
机译:用于生成EFSM指定的协议测试序列的启发式转换可执行性分析方法
机译:用于数据路径的测试序列生成的快速方法
机译:集成,开发和测试方法,以生成更具凝聚力的生物地理推断方法。
机译:一种快速有效的纯化人类胚胎干细胞产生的内胚层细胞的方法
机译:使用Wp方法生成用于协议一致性测试的最佳测试序列的二部图方法