验证平台中的可重用监视器

随着SoC芯片复杂度的提高,功能验证及其验证平台的构建日益成为电子产品开发和设计的瓶颈.而建立基于事务的可重用的验证平台是提高验证效率的关键之一.该文在基于事务的验证平台基础上,提出了一种模块化可重用的监视器设计方法,该监视器将物理信号的监测与数据的接收分离开来,且可进行信号到事务的转换,由此加快验证平台的构建和调试的过程,提高验证效率.     

AFDX-ES芯片设计中主机端接口的设计与验证

目的 基于ARM9的AFDX-ES芯片的PCI主机接口的设计与逻辑验证.方法 以软硬件协同设计方法学、验证方法学为指导,提出了以PowerPC处理器为核心的主机端软硬件平台下SoC软硬件协同方法,并搭建了基于芯片的FPGA原型验证平台.结果 通过主机上VxWorks对AFDX-EX芯片上资源进行管理以及对各功能模块进行功能调用,有效地验证了SoC主机接口逻辑功能的正确性.结论 文中方法设计合理,运行可靠,可以应用于类似芯片的设计中.     

建立向大规模客户化定制的产品设计流程模型

与一种单独产品的策略相比，采用基于平台的产品开发战略达到大规模客户化定制生产模式具有明显的优势。文章探讨了基于平台策略的产品开发流程模型，将基于平台策略的产品开发分为原形产品开发设计、产品平台开发设计和产品族开发设计3个阶段，基于平台策略的产品开发流程模型的建立旨在缩短系列产品的开发时间，同时完成一组产品的设计，而不是完成一个产品的设计，从而达到快速响应市场的目的。     

基于平台的系统级芯片设计方法

介绍了系统设计方法和基于平台的SoC设计，描述了基于模块和系统统的IP复用设计方法，讨论了硬件和软件的协同设计以及系统芯片设计发展中所需要改进的关键问题并展望了未来的研究方向。     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

以平台为中心的SoC设计方法

日益上升的系统复杂程度对于设计工具，及其相联系的方法和语言提出迫切要求，以适应市场和价格的限制。以平台为中心和基于平台的片上系统（System on Chip,SoC）设计方法，面向软件和硬件的功能复用，也已经在电子系统设计领域得到越来越多的应用和关注。     

一种基于语音识别SoC调试的JTAG接口设计

在JTAG(jointtestactiongroup)工业标准的基础上,采用了一种基于语音识别SoC(SystemonChip)调试的JTAG接口设计.该设计以求用最少的硬件开销,最简单灵活的方式,支持寄存器查看和设置、IP核程序流跟踪、代码覆盖率检查、代码分析、IP核扫描测试等功能.该设计已经应用于以OpenRISC为核心的语音识别SoC设计平台上.     

基于SystemC的SoC系统级设计方法

随着嵌入式系统的发展，片上系统（SoC）设计已经成为集成电路设计的发展方向。SoC设计的复杂性对集成电路设计的各个层次，特别是对系统级芯片设计层次带来了新挑战。SystemC是一种完全基于C＋＋的系统级建模语言，它同时支持RTL级、行为级和系统级描述。本文介绍了SystemC的特点和系统设计环境，有利于进行SoC系统级设计，并阐述了一种基于SystemC的系统级设计方法。     

一种异构可重构的认知无线电平台及设计方法

未来无线通信频带越来越紧张,认知无线电可感知频谱,使认知用户和认证用户可以无干扰地共享频谱,并成为一种提高频谱利用率的重要方法。提出了一种基于SoC(System on Chip)的异构可重构认知无线电平台及设计方法,该方法满足认知无线电感知频谱、适应无线信道时变的要求,并能高效、低能耗地实现认知无线电的动态配置。     

基于Transaction模式的SoC软硬件协同验证策略

SoC的验证越来越成为集成电路发展的突出问题，而传统的信号级别的验证方法由于工作量巨大，已经很难满足系统的要求。研究了基于Transaction模式的验证方法，并通过开发的验证平台，用实验进行了验证。该方法在Transaction级别上实现对系统的验证。提高了验证速度，可以缩短设计周期。降低设计成本。     

基于RVM的可重用测试方法及应用

介绍了如何运用Synopsys提供的层次化验证方法来快速搭建高质量验证平台,通过将验证模块部分或全部重用到系统级芯片（SoC）验证平台中,大大减少了验证平台的搭建时间,提高了验证环境的执行效率;最后,以一个异步串行通信接口模块UART为例,描述了如何快速搭建一个系统级验证平台.     

3DSoC的多频测试架构设计

随着芯片集成度的提高,三维片上系统（three-dimensionalSystemonChip,3DSoC）是集成电路发展的必然趋势,其中可测性设计成为研究的重点．为了降低测试代价,提出一种符合工业实际的多频测试架构及适用于该架构的测试算法,并结合功耗对测试架构进行了仿真实验．实验结果表明,与传统的SoC相比,在同样TAM测试数据位宽数限制下,多频架构的3DSoC测试时间更短,测试代价更小．     

基于CBR的机械产品智能设计方法研究

为快速有效地设计机械工程产品,提出基于实例的机械工程产品设计方法,可实现重用以往设计知识进行新产品的快速设计.该法应用CBR技术依据共享模型的基础构建智能设计平台,以解决实例的检索和修改问题为重点,最终实现了相似匹配计算及最佳实例;并将技术层面的设计问题归属于人机交互的情感设计,避免或减少重复性劳动,改善了工程技术人员的工作环境.给出基于实例的智能设计方法,以桥式起重机产品为例说明了这一方法实现的可行性.     

支持变型设计的重用策略研究

在研究产品构成的基础上，分析了产品建模方法，提出构筑标准件库，进行产品组件模块化，采用基于事例的推理方法等支持变型设计的重用策略，同时，设计了支持快速变型设计的重用平台，并在某型号工程项目的夹具快速设计中得到了应用，提高了设计效率。     

Multiple MIPS 4Kc cores based interrupt controller design and its implementation on HDTV SoC platform

A multiple MIPS 4Kc processor cores based interrupt processing system is introduced. The interrupt controller plays a key role in the high definition television （HDTV） system-on-a-chip （SoC） platform, especially when it is a multiple processor system. Based on a general introduction to the whole HDTV SoC platform, a layered interrupt controller and its implementation are discussed in detail. The proposed scheme was implemented in our FPGA verification board. The results indicate that our scheme is reliable and efficient. Meanwhile, as a functional intellectual property （IP）, the interrupt controller has reusability and expandability with the layered structure.     

Implementation of transaction level AMBA bus models using systemC

This paper deals with how to implement AMBA bus transaction level modeling in SystemC.There are twom ain techniques used in the whole modeling process,which consist of starting the platform modeling at the transaction level and using the uniformed modeling language-System C.According to the concepts of interface,port and hierarchical channel introduced in SystemC 2.0,the system of master-channel (AMBA bus) slave is created as the architecture of the AMBA bus transaction level model,which can make it more extendable.The port and interface classes of the model that are prone to program are defined in accordance with the SoC hierarchical design methodology,In addition,method calls,not signal communication,are used between different modules in the model,so the higher-level abstraction is achieved and the simulation performance is improved.The AMBA bus transaction level model is analyzed and certified by simulation experiment,and proved to be completely compliant to the AMBA specification 2.0.