1) provable equivalence
可证等价
1.
Based on the consistence of logical equivalence and provable equivalence of formulas in two-valued proposition logic,the general expression of formulas in F(Sn) in the meaning of provable equivalence with the help of assignment of formulas is given.
利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式。
2) equivalence verification
等价验证
1.
According to the results of polynomial function,the upper bound of simulated vectors is obtained for the equivalence verification of the fixed-point datapaths,which avoids the exhaustive simulation.
为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量。
2.
Because of this,formal verification methods,such as equivalence verification,have become important for register transfer level or behavioral level verification.
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求。
3) equivalence checking
等价性验证
1.
Automatic operand ordering for equivalence checking;
等价性验证中的自动算符排序
2.
Latch mapping algorithm for equivalence checking;
面向等价性验证的锁存器匹配算法
3.
An Equivalence Checking Algorithm for Combinational Circuits;
带黑盒组合电路的等价性验证
5) equipollence feasible solution
等价可行解
6) Sequential equivalence verification
时序等价验证
补充资料：采矿许可证的发证机关
采矿许可证的发证机关:国务院地质矿产主管部门以及其授权的省、自治区、直辖市人民政府地质矿产主管部门是采矿许可证的发证机关。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条