一种针对SoC的嵌入式系统软/硬件协同综合算法

嵌入式系统是软件和硬件共存的系统,多数功能部件可以由软件来完成,也可以由硬件来完成,为了综合考虑系统功能和多项性能指标（如成本、硬件面积、功耗和时间性等）来合理划分系统,提出了一种针对SoC的嵌入式软/硬件协同综合方法,建立了对应的数学模型,将嵌入式系统软/硬件协同综合问题转换成为有向图中求最优路径问题,并用条件遍历法得出整个解空间上的可行解。本方法能够同时评价多项性能指标,融入了SoC设计IP核与软件构件重用的思想,是一种自动方法,克服了传统方法的缺陷。通过一个PDA手机平台音频和视频发方系统的实际例子证明了本方法的实用性和有效性。     

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

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

SoC设计中WISHBONE片上总线的设计与开发

讨论了 WISHBONE片上总线的主要实现技术及其在 So C可重用设计中的主要作用 ,以及 WISHBONE体系结构在 So C中的应用 ,并以 EPStar1嵌入式微处理器中WISHBONE的设计与实现为例 ,说明了采用 WISHBONE片上总线实现 So C可重用设计的方法。     

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

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

可重用设计方法研究

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

基于PN和UVL相结合的复杂装备维修性验证

分析了复杂装备维修性特点和指标,指出了传统方法的缺点;提出了基于Petri网和UML（unified modeling language）相结合的复杂装备维修性指标验证方法,该方法方便建模,易于编程实现;对某复杂装备的平均修复时间进行验证,验证过程和结果表明了该方法的可行性和有效性。     

一种顺序控制器的设计和验证方法

针对顺序控制任务,给出了一种基于Ｐｅｔｒｉ网的顺序控制器设计和验证方法。将顺序控制的规格说明描述为Ｐｅｔｒｉ网,传感器信号定义为变迁的属性,通过网的不变式理论对其加以验证。由于现有工控制机和可编程控制器并不支持基于Ｐｅｔｒｉ网的控制程序,所以研究了基于Ｐｅｔｒｉ网的控制器到梯形图的转换方法。     

一种SOC软硬件协同验证方法的设计

SOC设计验证方法性能的优劣直接影响到芯片设计质量和设计效率,在归纳总结软硬件协同验证测试技术、方法和调试技巧基础上,设计了一种基于C语言和串行接口的软硬件协同验证测方法.SOC设计实践证明,该方法透明、简便、高效,测试代码可重复使用,可以广泛用于各种类型的SOC系统设计.     

交互控制协议的扩充设计及Petri网验证

远程控制是远程数字视频监控系统的核心, 目前很少使用自定义的协议来实现远程控制功能, 已有的交互控制协议功能还存在一些不足, 尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决。针对此问题对交互控制协议进行扩充设计, 包括请求方法和标头的设计, 使得交互控制协议功能更加完善。为保障协议设计的完整性, 结合协议工作原理, 并考虑报文在信道传输中丢失的情况对交互控制协议建立Pe tri 网模型, 最后通过可达树对协议进行完整性验证。     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

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

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

一种基于Petri网的构件特征干扰检测方法

为了检测和解决构件组装过程中的特征干扰问题,提出了构件的Petri网模型,给出了构件3种组装机制的形式化定义,并在分析了各种组装机制下可能出现的特征干扰的基础之上,提出了一种基于Petri网的特征干扰检测方法.该方法根据构件的不同组装机制,采用不同的规则检测特征干扰.实例研究表明,该方法能有效和准确地检测特征干扰,有助于解决构件组装过程中的特征干扰问题.     

弹载雷达信号处理SoC的设计与实现

为满足系统实时性要求,给出了一种弹载雷达信号处理系统的可编程SoC设计方案.它以SoC技术为基础,将雷达信号处理所需的专用功能模块尽可能地集成到一块芯片中,提高了芯片的通用性.将A/D采样、数字下变频、脉冲压缩、动目标检测、求模和恒虚警等功能模块集成到一片内嵌CPU硬核的FPGA芯片上进行测试验证,同时通过性能改善策略,提高了片上系统性能,满足了信号处理实时性要求.测试分析表明:该芯片具有快速的处理能力、较大的数据存储容量以及功耗较小的优点,且芯片中各模块间具有很高的通信速度.     

进程网建模工具的设计与实现

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.     

一种用于实现软件自动化的需求表设计

针对一类具有相似需求的电子政务软件项目,提出基于需求表的软件开发自动化方法,设计了一种能描述项目需求的表结构．开发的软件能依据需求表自动生成软件界面、创建数据库结构、实现数据处理．本文方法使得项目的研发只需经过需求分析、需求描述以及简单的界面设计三个步骤,就可以快速获得软件原型,从而基本实现了电子政务领域内软件项目开发的自动化．     

IEEE 802.11 p车载自组网的HSCPN建模及分析

针对分析模型和仿真模型研究车载自组网IEEE 802.11p广播模式网络性能存在的不足,采用层次随机着色Petri网( HSCPN,hierarchical stochastic colored Petri net)对协议的媒体访问控制层进行建模,模型着重描述了消息的产生、重传、退避和虚拟碰撞的过程.在此模型的基础上,对网络性能指标进行了分析.结果表明：高优先级队列的消息具有较小的时延和时延抖动. HSCPN建模方法的采用可直观地了解协议的运行机制,有利于协议的改进,并可为车载自组网的部署提供理论依据.     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.