通用接口控制器GPIO_WB IP核设计与实现

通用IO接口是SoC系统中非常重要的一种外围端口。本文完成了一种基于WISHBONE总线的GPIO_WB控制器IP核的逻辑设计和物理实现，较具体地介绍了GPIO_WB IP核的体系结构以及WISHBONE接口和DMA传输方式的设计方案，并对所设计实现的GPIO_WB性能及可重用性做了分析，结论表明，与已有的通用IO接口IP核相比，GPIO_WB IP核具有性能高、实现代价小、硬件简单、可重用性好、易于扩展等优点。     

CAD工具集成的方法与策略

由于各种ＣＡＤ系统各有所长、用户希望从多种系统中选择技术性能好，满足需求的工具集成在一起使用。工具集成是ＣＡＤ集成框架的重要目标之一。文章从理论上探讨了工具集成的概念和基本实施手段，并结合开发的ＹＨＣＩＦ集成框架系统，从平台集成、界面集成、数据集成、过程集成四个层次实现了工具集成。利用工具模板作为工具集成的界面；用工具箱对所集成的工具进行管理；用设计流图对设计过程进行控制。     

GFSAS—1门与功能块级逻辑模拟和延迟时间分析系统

本文提出了一个新的门与功能块级逻辑模拟和延迟时间分析系统GFSAS-1。GFSAS-1的结构是一个以数据库为中心的模块结构。本文简要介绍了GFSAS-1的系统组成和功能特点,重点阐述了数据库管理系统(DMS),主要功能模块,以及波形描述语言(WDL)的设计方案     

基于悖论分析和增量求解的快速反例压缩算法

使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点.然而,目前压缩率最高的BFL(brute force lifting)算法,其时间开销过大.为此,提出一种基于悖论分析和增量式SAT(boolean satisfiablilty problem)的快速反例压缩算法.首先,根据反证法和排中律原理,该算法对每一个自由变量v,构造一个SAT问题,以测试v是否能够避免反例.而后对其中不可满足的SAT问题,进行悖论分析,抽取出导致悖论的变量集合.所有不属于该集合的变量,均可作为无关变量直接剔除.同时,该算法使用增量式SAT求解方法,以避免反复搜索冗余状态空间.理论分析和实验结果表明,与BFL算法相比,该算法能够在不损失压缩率的前提下获得1～2个数量级的加速.     

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法,该方法在约束生成时只考虑控制语句的条件表达式，可有效避免生成冗余约束；利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题，以及处理各种HDL描述风格的问题；采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题,实验结果表明该方法能加快模拟矢量生成速度，提高路径覆盖率．生成的模拟矢量也能用于低层次设计验证和故障模拟，加快了设计进度,将该方法的原型系统用于一个32位微处理器核RTL级验证，发现了RTL级设计描述中的错误．     

一种高效的模拟覆盖率分析方法研究

在覆盖率驱动的模拟验证方法中，模拟覆盖率分析时间直接影响模拟验证的效率．针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外，对模拟重放过程进行了改进，提出一种高效的基于VCD文件的模拟覆盖率分析方法．该方法模拟重放时只针对HDL描述中的控制语句进行求解．实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法．实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时，模拟重放效率提高2倍多．     

HDL描述中决策图模型的提取方法和实现

决策图模型描述了TVLSI设计信号间的数据依赖关系，在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型，给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统，取得了良好的效果。     

RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法，给出了该算法的正确性证明的理论框架；并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简，实现模拟矢量自动生成状态化简目的，实验结果表明：该算法对状态化简效果非常明显，可以有效地解决状态空间爆炸问题。     

基于平台的SoC系统建模方法研究

面向基于平台的SoC设计方法，本文提出约束任务流图模型（CTG）作为SoC系统模型，提出了基于平台的CTG SoC系统建模方法，实现了SoC系统建模环境CPSME。CTG模型是一种可变粒度的SoC系统模型，可同时描述系统任务的功能和性能。本文基于平台的CTG SoC系统建模方法支持CTG模型的系统级重用与定制，有效提高了系统建模效率。在CPSME环境下进行MP3播放器和MPEG2播放器的SoC系统建模实践表明，新方法的模型重用率可达到75％～90％。     

具有初始信息素的蚂蚁寻优软硬件划分算法

面向基于平台的系统芯片设计，提出具有初始信息素的蚂蚁寻优软硬件划分算法AOwIP．基本思想是：①利用基于平台的设计方法中已有参考设计的软硬件划分结果作为初始划分解，进行适当变换后生成初始信息素分布．②在所生成初始信息素分布的基础上，利用蚂蚁算法正反馈、高效收敛的优势寻求最优划分解．该算法利用基于平台的设计方法强调系统重用的优势，克服蚂蚁算法在求解软硬件划分问题时缺乏初始信息素的不足．实验表明，AOwIP算法有效提高了蚂蚁算法的最优解搜索效率．