基于断言的模拟矢量自动生成方法
·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约...
成方技术资料
📦 资源总数：329
💻 源代码：184
🔥 成方热门资料
查看全部329个资源 »一种任意阵列宽带波束形成方案
提出了基于仿真退火算法优化思想的任意宽带波束设计方法，其期望响应由工作频带划分成的等间隔窄子带上旁瓣波束形成权系数构成。各个子带上的低旁瓣波束则采用基于仿真退火波束形成原理的波束优化设计方法得到。借助计算机对二十四元圆阵进行波束优化设计。 ...
libsvm的编成方法与一些例子
libsvm的编成方法与一些例子，希望大家喜欢...
主要用于大规模的测试生成方法
主要用于大规模的测试生成方法，执行效率比较高的。...
讲述迷宫算法的思想与代码生成方法
讲述迷宫算法的思想与代码生成方法，通过此算法探索迷宫的奥秘与趣味，激发人的思维潜能...
💻 成方源代码
查看更多 »📂 成方资料分类