搜索结果
找到约 4 项符合
clp 的查询结果
其他 专家系统 :农夫过河问题的源代码 农夫过河问题.CLP
专家系统 :农夫过河问题的源代码 农夫过河问题.CLP
技术资料 基于断言的模拟矢量自动生成方法
·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该 ...