go top

logic verification

  • 逻辑验证:一种检查程序或系统是否按照预期的逻辑正确运行的过程。

网络释义专业释义

  逻辑验证

(9)逻辑验证(Logic Verification):能自动验证设计逻辑的正确性是软件测试 追求的最高目标,设计表示愈易于逻辑验证其可测试性愈强;

基于28个网页-相关网页

短语

logic verification system 逻辑检验系统 ; 逻辑验证系统

ASIC Logic Verification ASIC逻辑验证

logic verification detail 逻辑验证

logic verification testbench 逻辑验证环境

Logic Synthesis and Verification Algorithms 逻辑合成与验证算法

program logic and verification 僚 ; 㨑 ; 编程逻辑与验证

logic test verification 逻辑测试验证

logic design verification 逻辑设计验证

verification logic network 验证逻辑网络

 更多收起网络短语
  • 逻辑验证 - 引用次数:3

    In this subject, a SOC logic verification platform based on large capacity FPGA was built to verify so-designed SOC.

    本文中我们根据自己所设计SOC的特点,搭建了一个基于大容量FPGA的SOC逻辑验证平台,并用此平台对所设计的SOC进行了逻辑功能验证

    参考来源 - 多IP复用SOC的可靠性研究与验证
  • 逻辑验证 - 引用次数:4

    By the logic verification and system simulation, the video processing system is expected to meet the functional requirements for different resolution, different frame frequency of the input image, can display in the relative stability and clear image.

    通过逻辑验证和系统仿真,该视频处理系统满足预期的功能要求,对于不同分辨率、不同帧频的输入图像,均可以在显示器上得到相对应的稳定清晰的显示图像。

    参考来源 - 一种双输入视频处理系统的设计与实现

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 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检验两个给定逻辑函数是否相等

    youdao

  • The WSDL model USES one such extension hook, a post-set method, to run the verification logic.

    WSDL模型会使用这样扩展元素,即个后方法运行这个验证逻辑

    youdao

  • The best countermeasure approach would be to enhance the interface between the signature verification function and the business logic.

    最好对策办法就是增强签名验证功能业务逻辑之间接口

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定