sequential equivalence checking
-
时序电路等价验证
-
时序电路等价验证
时序等价性验证
·2,447,543篇论文数据，部分数据来源于NoteExpress
-
A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
youdao
-
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
为了提高时序电路的等价性验证速度，提出一种改进的基于寄存器匹配的验证算法。
youdao
更多双语例句