logic verification system发音

意思翻译

逻辑检验系统

相似词语短语

verification───n.查证；核实

logic───n.逻辑；逻辑学；逻辑性

license verification───许可证验证

verification required───需要验证

verification code───验证码

verification failed───验证失败

cartesian logic───笛卡尔逻辑

effectual logic───有效逻辑

sophism logic───诡辩逻辑

双语使用场景

It is proved that this type of counter has correct logic function according to EDA simulation and experimental verification with FPGA and can be normally used in the design of digital system.───经eda软件模拟仿真和FPGA硬件验证，表明该计数器具有正确的逻辑功能，能够正常地应用于数字系统的设计。

the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.───本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。

terms of the authors sketch of design and verification of safety programs, a pointer logic system is designed for a subset of C-like language.───根据作者所设想的安全程序的设计和证明框架，为类c语言的一个子集设计了一个指针逻辑系统。

英语使用场景