摘要：随着系统规模的扩大和复杂性的增加,设计验证已成为集成电路设计中最大的挑战。符号模型检测(Formal model check)的验证方法由于可以解决验证的完备性问题,正受到越来越多的重视。在多时钟域设计已成为大规模集成电路设计热门领域的今天,原来的符号模型检测方法无法直接进行多时钟域的验证。通过建立一个虚拟时钟来代替原来的多个时钟,并对原电路以及CTL(Computation Tree Logic)进行适当改写,使之能直接用符号模型检测的方法进行验证,并对改写的电路进行了复杂度分析。

摘要：提出一种基于模拟仿真和覆盖率分析的方法.通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间,得到了预期的验证结果.

摘要：通过分析小井眼侧钻工况下冲击器运动过程,建立了冲击器动力学模型。并介绍了一种小井眼侧钻用控流式液动射流冲击器,然后以该冲击器各参数为基础运用所建立的力学模型编制了仿真程序。通过仿真分析得到以下结果:获得在不同泵量与活塞直径下冲击器的冲击功、冲击末速度和频率的变化规律,得到该冲击器的冲击功范围是(187～332)J,当活塞直径为35.6mm时冲击功最大。研究结果为小井眼侧钻井用液动射流冲击器的设计提供了指导。