结合模拟蕴含技术的电路验证方法

柯宪明; 唐璞山

首页> 中文期刊> 《微电子学与计算机》 >结合模拟蕴含技术的电路验证方法

结合模拟蕴含技术的电路验证方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

提出了一种改进现有基于SAT的组合电路验证方法的新技术。主要创新在于提出了对CUVs的模拟蕴含学习方法,能快速地将许多间接的蕴含关系转化成子句。将这些子句加入原有的CNF表达数据中,可以减少SAT解决器的搜索空间并且加速BCP过程。对于ISCAS测试电路的实验可以看出该方法比常规算法有着近一个数量级的速度提升。

著录项

来源
《微电子学与计算机》 |2007年第2期|58-61|共4页
作者
柯宪明; 唐璞山;
展开▼
作者单位

复旦大学微电子系专用集成电路与系统国家重点实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计与性能分析;
关键词
等价验证; 模拟蕴含学习; 可满足性问题;

相似文献

中文文献
外文文献
专利

1. 一种结合噪声辅助技术和现场数据的模拟电路实时可靠度预测方法 [J] . 闫理跃 ,王厚军 ,刘震 . 兵工学报 . 2019,第002期
2. 模拟数字混合电路故障诊断的验证方法 [J] . 张耀升 ,王恒升 . 天津大学学报 . 1990,第001期
3. 结合通用割集和专用割集的组合电路验证方法 [J] . 杨军 ,郑飞君 ,卢永江 . 浙江大学学报（工学版） . 2006,第009期
4. 验证自动驾驶技术的挑战将真实数据与基于云的模拟技术相结合 [J] . Elektrobit . 汽车与配件 . 2019,第007期
5. 一种模拟电路动态电源电流信号测量电路设计与实验验证 [J] . 张克 ,贺国 ,张超杰 . 舰船电子工程 . 2017,第004期
6. 数模混合电路层次式模拟验证方法 [C] . 吴宏 ,陈吉华 . 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议 . 2004
7. 16通道宽带DSL信道模拟器电路关键技术研究与验证 [A] . 王遂生 . 2016

结合模拟蕴含技术的电路验证方法

摘要

著录项

相似文献

相关主题

期刊订阅