logic verification system的意思

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語言的一個子集設計了一個指針邏輯系統。

英語使用場景