搜索：CLP

找到约 4 项符合「CLP」的查询结果

结果 4
热门搜索： STM32 FPGA PCB设计 电路图 51单片机 嵌入式 Arduino MATLAB Verilog Python
相关度 上传时间 下载量 查看数
共 4 条结果
按分类筛选
https://www.eeworm.com/dl/542/189335.html 其他书籍

clp考试指导

clp考试指导，纯英文的，需要英语基础比较好的。
下载 46
·
查看 1043
https://www.eeworm.com/dl/542/189336.html 其他书籍

clp考试题库

clp考试题库，针对性比较强，纯英文的。需要比较好的英文基础。
下载 130
·
查看 1062
https://www.eeworm.com/dl/534/220477.html 其他

专家系统 ：农夫过河问题的源代码 农夫过河问题.CLP

专家系统 ：农夫过河问题的源代码 农夫过河问题.CLP
下载 62
·
查看 1104
https://www.eeworm.com/dl/935976.html 技术资料

基于断言的模拟矢量自动生成方法

·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CL ...
下载 1
·
查看 8991