-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=自动测试模式生成模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
时序电路等价验证的触发器匹配被引量：1
《电子与信息学报》2014年第9期2283-2286,共4页张超 竺红卫 
通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔...
关键词：触发器匹配 自动测试模式生成模型 布尔可满足性 时序帧递进展开 信息学习 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部