基于IP-XACT标准的SoC集成方法

为了提高SoC集成设计效率,构建基于IP-XACT标准的CKSoC（C-SKY SoC）设计集成平台.采用自底向上的集成策略,通过IP/子系统两层复用和软硬件资源复用,依次从IP级、SoC核心系统级和SoC芯片级3个层次逐步细化完善系统平台,生成3个不同的平台：RTL仿真平台、FPGA原型仿真平台和门级网表逻辑综合环境,可以显著地提高SoC设计集成效率.双核SoC芯片设计实例展示了CKSoC设计集成平台使用与分析方法,证明了CKSoC设计集成平台的高效性与可行性.     

可重用设计方法研究

可重用IP技术与软硬件协同设计和深亚微米设计技术是SoC设计的关键技术支撑．首先把片上系统的设计方法和传统的基于线负载模型的ASIC设计方法进行比较，然后探讨了可重用IP模块的定义、设计过程及其选择等．     

基于数据流的SoC性能建模方法及实现

针对传统基于模块描述建模方法在性能估算和验证的精确性、灵活性和设计迭代方面的不足,围绕资源分配、性能参数标注和仲裁算法指定等,提出基于事务数据流的系统芯片(SoC)性能建模方法.该方法通过加入SystemC的时序控制机制的TDFLib的C++泛型库,以及描述SoC系统模型的性能建模语言(PML)的域特定语言来实现.PML源文件可生成包含TDFLib调用的C++代码,再经过编译并与可复用仿真程序框架链接得到可执行的系统性能分析模型.该模型在SystemC内核控制下进行周期精确的仿真,运行结果保存在MySQL数据库中.结果表明该性能建模方法能够提高架构设计与分析的效率.     

一种可重用的方面化特征模块的构建方法

针对互联网环境下存在丰富多样的软件资源,为了能够有效地重用已有的软件资源,需要对软件资源进行模块化,基于面向方面的编程思想的方面化特征模块为软件模块化,构建提供了1种新型的软件构建方法,该方法能够根据不同方面抽象出软件特征形成的具有相应特征的软件模型,封装成为可重用的AFM模块,利用逻辑程序语言描述方面接口,实现业务逻辑层面的软件重用,提高了软件重用的层次与范围．     

基于XML Schema的细粒度SoC设计复用方法

针对传统的基于模块复用的SoC可复用设计方法学在面对结构复用或抽象内容复用时效率低、设计迭代代价高的缺陷,提出基于XML Schema的细粒度设计复用方法（FGRX）,扩充了传统可复用设计方法学,通过分析现有设计把更小的逻辑结构、代码片段和抽象内容吸纳为可复用对象,并基于可复用对象构建设计原语集和复用规则集.FGRX用XML Schema对原语集和复用规则集完成形式化定义,同类设计或同一产品线中的类似芯片设计描述在原语级以XML格式完成.利用XML Validator自动构建基于复用规则集的原语级描述校验器,对设计描述完成静态结构检查.利用XSLT设计转换规则,把由可复用对象组成的原语级设计描述转换成各种标准格式的设计文件,并在转换过程中实现细致的语义检查,进一步校验模型描述.以一个实际应用具体讨论了FGRX的应用过程,实际应用结果证明：FGRX能充分复用现有工作成果、高效可靠地完成同类模块的设计或同一产品线中同类芯片的开发、大规模精简描述代码、减少设计者重复劳动的工作量以及提升工作效率.     

基于混合仿生算法的SoC测试存取机制优化

针对系统芯片中IP核测试壳和测试访问机制的优化设计问题,提出一种混合仿生优化算法.该算法对SoC中IP核的测试壳进行基于蚁群算法的结构优化设计,采用粒子群算法获得SoC测试存取机制的优化设计方案.将多处理器调度模型用于描述测试存取机制的优化设计问题,讨论基于粒子群的测试存取机制优化算法.对ITC02中SoC基准电路进行测试优化实验,结果表明,本算法可有效减少SoC测试时间,较整数线形规划算法和遗传算法有更好的优化效果.     

具有较高算法覆盖率的可重用模块

密码算法的可重构实现,提高了密码通信的安全性、扩展性和灵活性,具有良好的应用前景,目前大部分可重构密码芯片的算法覆盖率低.本文在分析大量密码算法的基础上,经过综合比较提取出了具有较高算法覆盖率的可重用模块,利用该可重用模块能够可重用实现诸如DES、AES、SHA-1等大部分通用的密码算法.基于可重用模块设计的可重构密码芯片能够很好的解决算法覆盖率低的问题.     

提高PB数据库开发中软件重用性两例

从提高软件重用度出发 ,对 Power Builder语言的数据库应用开发进行了分析 ,分别从代码重用和模块重用讨论了 PB程序面向对象特性的不足 ,有针对性地提出提高程序通用性的两种方法 ,分别给出了算法说明和实例代码 .     

面向大批量定制的配置产品变型设计

从配置产品创新性与重用性相结合的角度探索了在集成环境下产品变型设计的发展规律，系统地提出了面向大批量定制的配置产品变型设计理论和方法.针对配置产品的不同设计域层次，定义了一整套适用于不同抽象层次和不同类型配置模型的递归化设计方法，通过不同设计域、不同层次、不同类型配置规则的模糊推理、模糊派生、柔性聚合实现设计过程的跃升和设计信息的继承.提出了配置单元派生进化、关联进化、替换进化的一整套方法，将配置单元进化演绎的历史与配置设计过程结合起来，实现复杂配置产品方案设计的自动化、递归化和可视化.结合企业具体应用将上述理论应用于实际产品开发中，取得了良好的效果.     

SOC参数自动配置设计方法与功耗优化

在片上系统（SOC）的参数化设计方法中，参数的大量增加加大了SOC集成和参数优化选择的复杂程度。新方法对原有的硬件描述语言进行了扩展，并建立了参数自动配置环境，该环境由一组Perl和Shell脚本组成，能够自动根据参数设置生成正确的硬件描述。通过分析SOC参数的基本属性，利用邻域搜索算法针对功耗进行自动参数优化，得到性能和功耗的最优解。该方法可以加快IP设计和SOC集成进程，减轻设计强度和减少设计错误，大大缩短了优化周期。该方法已成功应用于一款RISC处理器和基于它的SOC开发。     

SoC及其IP核的设计与其在通信中的应用研究

提出现代集成电路技术中的SoC及其IP核的设计方法，在分析SoC的特点及其IP核的基本特征的基础上，给出了系统级设计软件、IP核开发流程和关键技术，并将其应用于NGN中综合业务接入系统的具有自主知识产权的集成电路设计中．     

SoC设计中的IP核复用技术研究

论述了系统集成芯片设计中IP核复用的设计方法。以Estarl嵌入式微处理器设计为例，讨论了IP软核设计复用技术的应用方法及特点，并针对Estarl中IP核选择与实现进行了说明。     

针对SoC设计正确性和时间性的形式化协同验证方法

给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术，这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型，形式化定义了IP核、构件和用户自定义逻辑模块，并阐述了从SoC设计体系结构到着色Petri网模型的转换方法，还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性，还能验证其时间性，一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构，那么就能够验证出整个系统的设计正确性和时间性，最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效，并给出了相应的实验结果。     

Knowledge-reuse-oriented Product Modeling and Knowledge Management in Digital Design

1 Introduction Rapid changes in market requirements force enterprise to produce customized product withthe cost and de-livery ti me of mass production.Parametric modeling is a usual design approachin CADsystemand it is usefulwhen geometric model should be changed frequentlyin design process[1-4]. To a certain degree parametric tech-nique si mplifies design process and shortens development cycle . However parametric approachis difficult to de-scribe design knowledge .Currently CADtechnique m…     

Single-Sequence的边界约束条件

在VLSI物理设计中,分层设计和连线优化都要求某些模块放置在布局的边界位置。该文针对一般的具有不可二划分结构的布图规划问题,在SS编码的基础上解决VLSI物理设计中有边界约束的布局布图规划的问题;证明SS的放置顺序是表示模块的数字在SS中出现的位置先后顺序;提出模块放置在四个边界(上、下、左、右边界)在SS编码中应满足的充要条件及证明;并给出模块位于四个边界在SS编码中相应的表达式和计算方法。