【摘 要】
：
集成电路设计技术的不断发展对其设计验证过程提出越来越多的要求,计算机辅助的验证处理模式也不断发展,适用时代要求,本文以此为起点,引出约束性可满足问题在集成电路设计、
论文部分内容阅读
集成电路设计技术的不断发展对其设计验证过程提出越来越多的要求,计算机辅助的验证处理模式也不断发展,适用时代要求,本文以此为起点,引出约束性可满足问题在集成电路设计、生产计划管理等领域的应用意义。进一步介绍约束性可满足问题的定义及其特性,分析其特征空间,并论述了其主要解决思路及优化办法。然后根据其多样性及处理能力的分析,结合线程化并行处理的方法,提出了基于分解树(Tree-Clustering)的并行约束性可满足问题解决的思路,并结合SystemVerilog实例分析其可用性,最后结合硬件描述语言功能验证的实例进行了应用分析并与开发环境完成无缝集成。本文的创新之处在于:(1)利用线程化并行处理模型来提升系统处理时间效率;(2)与硬件开发环境无缝集成以提高约束性功能验证效率。
其他文献
LED全自动粘片机是基于视觉检测的全自动粘片控制,融合了图像处理、模式识别、光电检测、控制理论、机电一体化等多学科内容和技术。结合我们的实际工作,论述了就该机的核心
对音乐结构和反结构的研究,是以结构的视野重新看待整个音乐发展的历程。这种视野,更多的是从音乐内部找原因,而不是从音乐外部获取知识。音乐研究的向度可分为历时性和共时
回旋管的出现解决了普通微波管在毫米波和亚毫米波段遇到的诸多困难。回旋管的工作频率可达到太赫兹,输出功率达到兆瓦级,作为太赫兹辐射源重要的器件,回旋管具有重要的研究
目的 探讨术前适应性训练在颈前路手术患者护理中的应用效果。方法 将42例颈椎病行颈椎前路椎管减压结合植骨融合的患者随机分为训练组合对照组，各41例。对照组采用常规术前准
被告人翻供是我国刑事司法实践中一种常见的现象。实证考察发现,我国被告人在侦查阶段的有罪供述率近乎百分之百,如此高的有罪供述率,显然成了违背人的本能和天性的“反常现
目的:分析关节外科大手术后下肢深静脉血栓形成(DVT)预防护理。方法:选取2016年6月—2018年6月住院的关节外科大手术后患者60例,以随机数字表将其分为参照组和研究组,各30例,
脉冲功率技术的发展对开关器件不断提出新的要求。半导体功率器件由于其具有体积小、寿命长、工作稳定、成本低、效率高、紧凑等突出的优点,在脉冲功率技术领域占有了越来越
利率作为市场调节的主要工具之一,其对国内外市场的货币供需起着至关重要的作用。对利率水平的管制虽然在金融市场发展初期能够一定程度上保护市场不受大的冲击但是带来的问
流变制造工艺是光纤耦合器最重要的一种制备方式，其中流变温度对器件光学性能影响最大，但现有的气体加热方式，其温度易受环境干扰，波动大，这样就导致生产的器件损耗较高，性能一致性
近年来过采样滤波器组因其优越的去噪性能和较高的设计自由度,在许多领域得到广泛关注,在图像编码领域的应用也是一个研究热点。现有的图像编码技术主要是基于DCT变换,对信道