![形式化验证技术在EDA软件开发中的应用]()
论文摘要形式化验证技术起源于20世纪60年代软件危机。直至整个70年代，形式化验证技术所针对的一般是转换型程序，即单纯进行科学计算、计数等功能的软件。形式化验证的巨大成功首先来...
![基于SAT的数字电路ATPG方法及应用]()
论文摘要测试向量自动生成（AutomaticTestPatternGeneration，ATPG）问题在数字电路的测试领域具有非常重要的地位，不仅影响产品的生产设计成本，而且是...
![超声热量测量ASIC的芯片级验证]()
论文摘要为适应可持续发展的需要,节能问题日益成为科学研究的热门课题。热量计量装置被越来越广泛地应用于供热系统,该装置可以较准确的测量系统中的热量消耗。我国传统的热量计量表多属于...
![半定制/全定制混合设计流程中验证方法研究]()
论文摘要随着集成电路集成度与复杂性的日益增长,出现了功能更加复杂、性能更高的系统芯片。与此同时,芯片验证的工作量也呈指数增长,在较短的上市时间内保证芯片最终能正常工作,需要将各...
![RTL到门级设计的等价性验证的研究]()
论文摘要超大规模集成电路的验证工作在产品设计周期中所占的比例已达到三分之二。等价性验证作为现代SoC设计流程的一个重要步骤,用于验证不同抽象层设计之间的功能等效性。包含算术电路...
![基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究]()
论文摘要近些年在布尔可满足性(SAT)领域取得了较大进展,一系列基于DPLL框架的优化算法被提出,有效SAT解算器诸如zChaff等已可解决很大规模的SAT问题。SAT作为一个...
![满足性算法在形式化验证中的应用研究及实现]()
论文摘要随着超大规模集成电路复杂度的增加和规模的逐渐变大，验证电路的功能等价已经变得越来越重要。传统上，功能验证主要是通过模拟和测试技术实现。这些方法随着设计复杂度的增加，将很...
![超大规模集成电路形式验证的方法研究]()
论文题目:超大规模集成电路形式验证的方法研究论文类型:博士论文论文专业:电路与系统作者:卢永江导师:严晓浪关键词:模拟验证,形式验证,等价性验证,二叉决策图,可满足性,割集,锁...
