SoC设计的过程模型的研究

为了有效缓解SoC设计中设计周期和设计规模之间的矛盾,需要引入一种科学的思维方法。使用完整的工程学原则指导SoC的设计是问题解决的根本途径。文章充分借鉴成熟的软件工程研究思想,在对基于IP重用设计方法学研究基础上,对基于重用的SoC设计过程进行了建模,提出了一个新的工程过程模型———CPD模型,该模型的提出为SoC设计领域内各种无序的活动有序化做了尝试和努力。

基于模型工程的C^4ISR系统仿真建模研究

现代作战模拟系统的不断发展对C4ISR系统的效能评估提出了更高的要求,为了进一步实现C4ISR系统效能评估模型的互通、互联、互操作等特性,提出了C4ISR系统效能评估模型的建模程式和效能评估模型的描述规范、表述规则、评价标准、维护方法和管理制度,从而为C4ISR系统效能评估提供规范的建模支撑技术,研究相关关键技术,并验证C4ISR系统效能评估模型的可靠性,组建优质模型资源库,实现C4ISR系统效能评估模型的可重用性。

软件质量保障技术的新发展

回顾了软件质量保障技术及软件开发方法的发展历程 ,介绍了几种近年来发展起来的并且证明是行之有效的软件质量保障技术和方法。这些新技术对于软件组织提高自身软件的生产效率 ,控制软件开发过程以及提高软件质量是非常有意义的。同时 ,采用这些新技术可以提高软件企业的国际竞争力。

Tri-Designer:一种面向片内云架构的IC设计平台

庞大的内部资源使集成电路(IC,Integrated Circuit)设计日益复杂,云计算作为一种网络上资源管理模式,可以引入到IC内部形成片内云架构。首先确立片内云IC架构的3个基本要素:构件化的IP核、片内网络和可定制的语义流程。然后建立了一种"概念+逻辑+物理"的3层设计平台Tri-Designer,专门用于片内云架构的IC设计。其中,概念建模定义一个应用的外延与内涵,输出应用场景的业务文档;逻辑建模将业务文档映射为片内云架构的语义流程,定义了一种应用层语言来描述语义流程;语义流程每一个步骤都需要映射到构件执行,构件对应着IC内部实际的半导体面积,是对传统IP核的封装,物理建摸实现这种封装。最后基于Tri-Designer平台设计了一个片内云架构的遗传算法模块,其加速比超过了10~4。