SCV及其在SoC验证中的应用

片上系统(System on Chip,SoC)是集成电路设计发展的趋势,验证在整个SoC设计中工作量巨大且至关重要.应用验证领域的最新成果SCV(SystemCVerification),提出了通过设计用户定义的事务接口(Transactor),对RTL(RegisterTransferLevel)级设计进行事务级验证的策略,并对一个具体的FIFO事例进行了验证.     

SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

提高SoC硬件系统验证效率方法的综述

随着片上系统(SoC)设计复杂度的增加,芯片设计和验证之间的差距逐渐拉大。如何提高验证效率成了集成电路业面临的一个巨大挑战。该文回顾了近年来面向这一挑战的国内外研究工作,提出了一个新的验证范例——边设计边验证。该方法结合结构化设计和递归式验证,用于缓解验证的负担。同时,还提出了实现该方法的基本要素,用于指导未来的研究。     

基于ADSP的视频SoC验证方案及其接口的设计

视频SoC规模的飞速增长,给FPGA验证带来了很大的挑战,大容量的外部SDRAM以及更多的外设模块的采用,不但增加了硬件的复杂度,也给相应驱动程序的调试带来了很大的难度.为了全面有效地进行FPGA验证,提出了一种在SoC验证平台中利用ADSP-BF537作为处理器的验证方案,并重点介绍了ADSP外部Memory总线和SoC系统总线(AHB)转换模块的设计.该方案已成功运用于视频SoC的验证系统中,既降低了开发成本,又提高了系统验证的效率和功能的完整性.     

快速原型法在函授教学软件开发中的应用

介绍了用于支持需求分析阶段的快速原型法的概念、特点和开发模式,并结合函授教学软件开发给出了一个函授教学软件的原型。     

智能计量系统的发展及其系统SoC应用

全球许多公用事业公司都已经开始为住宅、商业以及工业市场部署智能电表的服务。本文分析了智能计量系统,列举了智能电表的众多优点,如可以大范围地降低运营成本和资本费用,支持新的服务和更加完善的操作控制。本文还系统的总结了国内外近几年智能电表以及其系统芯片（SoC）技术的发展。     

原型设计法在智能CAD中的应用研究

研究了基于原型的设计方法,考虑到机械设计的复杂性,提出了原型的五元组表达模型,即原型样图、属性、联接元、转换规则、原型标志.在模型中引入了图形元素,使原型的表达包含了丰富的信息;提出了基于原型的设计流程,即从简单的设计目标开始,通过设计要求分解器,将有关设计目标约束的信息输出到设计原型推理机1,原型推理机1从原型库选择合适的设计原型,并翻译成原型样图,送到原型推理机2,原型推理机2对精化的原型事例进行评价,进行必要的完善、修改,产生设计结果.这样逐层展开设计,所传递的信息量越来越大,解决了智能CAD技术中从概念设计到结构设计的难点,对具体产品的实例化具有指导意义.     

快速原型技术及其在复合材料成形方面的应用

快速原型技术是一种材料成型新工艺，它综合了计算机，机械手及材料科学等多学科的专业技术，是近20年来世界制造技术领域的一次重大突破。RP技术的基本思想是：基于任何形状复杂的物体都是由互相平行的面结构组成的，因而通过计算机可以将预定的物体依次进行分层设计，然后控制带工作头的执行机械手将相应的材料按层“黏贴”起来，这样可最终制得该实物，以此技术能方便地制得处于人部，与体外不相通的任何空心结构，能制备纤维增强高分子材料基复合材料和复合陶瓷制品，局部跟踪加热或焊接技术可望解决金属材料新；“旧”料间的黏合问题，因此，RP技术在制备高分子基，复合陶瓷及金属基复合材料制品等方面具有良好的发展前景。     

原型法在企业管理信息系统开发中的应用

针对企业管理信息系统的开发过程中,设计人员由于与用户缺乏沟通,不能准确把握用户的实际需求,从而导致在开发过程中设计方案的反复修改,甚至推倒重来的问题。本文提出了原型法的解决方案,叙述了原型法的定义、基本思想和模型图,并以某研究所的物资管理信息系统设计开发为例,详细说明了原型法在企业管理信息系统开发中的工作步骤,最后总结了原型法的优缺点以及适用范围。     

软件规范在原型法系统开发中的应用研究

管理信息系统（ＭＩＳ）开发过程的规范化是ＭＩＳ系统质量保证的重要手段,目前执行的规范主要参照软件工程规范的标准,系统的生命周期模型基于瀑布模型和严格的阶段划分,然而以原型法进行的ＭＩＳ开发是递时的,螺旋型的,或者非阶段的,因此本文提出了在原型法ＭＩＳ开发过程中的关键阶段划分方法,并讨论原型法开发的工程规范的制定和控制系统文档与系统模型一致性的有效手段。     

面向EDA主动知识辅助基础原型的研究

随着EDA技术的飞速发展,电子自动化行业对设计师设置了较高的知识门槛,对此开发了面向EDA技术的主动知识辅助系统的基础原型,实现其在领域机理层次上的主动知识辅助.系统具备主动判断电子设计工程师知识缺陷并提供相应辅助的智能机制,从而对不同知识结构的电子设计工程师提供有针对性的快速辅助,实现真正意义上的人机协作,达到其在高端设计中的低起点应用的目的.目前该系统运行良好,基础原型有望形成电子自动化行业的伴侣软件.     

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

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

基于ESL的华睿2号SoC系统级架构设计

华睿2号是我国自主研发的一款8核微处理器,基于CMOS 40nm工艺设计,片内集成8核DSP、AXI总线以及PCIE/DDR3等多种高速接口的大规模片上系统芯片(SoC). 鉴于华睿2号设计复杂,需使用电子系统级(ESL)解决方案,确定SoC级架构. ESL设计方法学已被越来越多的复杂SoC设计所采纳,利用可裁剪的TLM建模方法快速搭建系统,进行系统级验证,探索不同架构设计对系统性能的影响,从而寻找最优方案. 本文利用Synopsys ESL解决方案,创建SoC不同的架构,并在创建的架构上运行雷达信号处理典型应用,分析处理时间、总线压力等架构性能,通过优劣对比最终确定最优架构.     

基于SoC单片机的医疗护理床系统设计

设计了一个基于SoC单片机C8051 F020的多功能医疗护理床控制系统．通过对控制部分和遥控部分的硬件电路、软件程序及系统抗干扰的设计，实现了病人使用遥控器对医疗护理床各个部分的智能控制，实现了医疗护理的自动化、智能化．本系统具有操作简单、可靠性高、精度高、成本低等特点．     

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

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

基于SoC的“微型核”星载电子系统设计

为检验"微型核"航天器设计平台的功能,对星载电子系统进行优化设计.采用主流的SoC设计方法,通过功能模块化映射将ARM7内核,C8051单片机、RFIC射频模块等单元模块集合为一体,借助软件设计平台,形成了具有丰富I/O接口,高处理速度的星载电子系统原理样机.在与哈尔滨工业大学TS-1星载计算机的功能对比中,"微型核"星载电子系统出色的完成了星务管理、数据采集传输,姿态轨道控制等多种任务,控制精度满足任务要求.结果表明基于SoC的星载电子系统有能力替代现有的星载计算机成为未来微型航天器的核心.