搜索结果

找到约 4 项符合 clp 的查询结果
相关度 上传时间 下载量 查看数
共 4 条结果

按分类筛选

其他书籍 clp考试指导

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

其他书籍 clp考试题库

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

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

专家系统 ：农夫过河问题的源代码 农夫过河问题.CLP
https://www.eeworm.com/dl/534/220477.html
下载: 62
查看: 1104

技术资料 基于断言的模拟矢量自动生成方法

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