大家都搜:
逻辑验证
1、verification required───需要验证
2、effectual logic───有效逻辑
3、verification code───验证码
4、verification failed───验证失败
5、verification───n.查证;核实
6、logic───n.逻辑;逻辑学;逻辑性
7、license verification───许可证验证
8、cartesian logic───笛卡尔逻辑
9、sophism logic───诡辩逻辑
1、In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.───在逻辑验证和综合中,布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。
2、The WSDL model USES one such extension hook, a post-set method, to run the verification logic.───WSDL模型会使用一个这样的扩展元素,即一个后设方法,来运行这个验证逻辑。
3、The best countermeasure approach would be to enhance the interface between the signature verification function and the business logic.───最好的对策办法就是增强签名验证功能和业务逻辑之间的接口。
1、In fact, the focus of this paper is the logic verification of the Scaler chip.
2、FPGA synthesis is employed to perform the logic verification for the front-end design of the Scaler.