1) latch mapping
![点击朗读](/dictall/images/read.gif)
锁存器匹配
1.
A novel latch mapping technique for equivalence checking was proposed to overcome the limit of low accuracy of previous mapping methods.
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法。
2) register mapping
![点击朗读](/dictall/images/read.gif)
寄存器匹配
1.
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法。
3) Match register
![点击朗读](/dictall/images/read.gif)
匹配寄存器
4) inventory matching
![点击朗读](/dictall/images/read.gif)
库存匹配
1.
Solving the inventory matching problem of hot rolling strips based on the constraint satisfaction method;
基于约束满足方法求解热轧带钢库存匹配问题
5) Cache matching
![点击朗读](/dictall/images/read.gif)
缓存匹配
6) Existential match
![点击朗读](/dictall/images/read.gif)
存在性匹配
补充资料:匹配滤波器
见检测理论。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条