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

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

一种基于离散Hopfield神经网络的SoC嵌入式 操作系统软/硬件划分方法

SoC（System-on-a-Chip ）系统芯片的嵌入式操作系统(Embedded Operating System)软/硬件自动划分（SoCEOS划分）是一个NP完全问题,也是SoC软/硬件协同设计的一个关键步骤,它决定了SoC-EOS功能的软/硬件实现,其划分结果直接影响到SoC产品的开发效率和质量。引入了SoC-EOS划分问题的一个新模型,这有助于理解SoCEOS划分问题的本质。提出了一种基于离散Hopfield神经网络的SoC-EOS划分方法,重新定义了神经网络的能量函数、运行方程和相关系数。最后,对该方法进行了仿真实验,并同遗传算法和蚂蚁算法进行了性能比较。实验结果表明,提出的神经网络方法是可行的和有效的。     

可重构路由器中软件构件和硬件构件的划分

在抽象出路由器基本规则的基础上,定义可重构路由器中软件构件为细粒度也就是指令级的无论是在FPGA或是CPU中的实现,硬件构件为基于FPGA粗粒度也就是应用级的实现。并针对实际应用提出了系统结构了的改进策略。     

一种可复用综合窗口的设计与实现

在应用软件开发时．常需对综合排序过滤等窗口进行重复设计使用，为了提高应用程序的构造速度，本文利用软件复用的思想，将这一窗口做成可复用构件．并存入构件库中，以便于将来的重复使用。     

一种新的软硬件协同综合及其处理器分配方法

在实际应用中,软硬件协同设计过程包含了软硬件结构的确定,这一确定过程具体包括了处理器件的选择、任务到元件的映射和任务时间调度的安排。现存有很多基于协同设计的启发式算法,但其中的大部分只能应用于简单的结构和非流水化的应用。提出了一种能够应用于软硬件协同设计的处理器分配和流水化处理的新方法。这种方法能够根据元器件对系统性能的提高程度反复选择器件,据此分配任务、创建流水平台,并且能够消除冗余平台。     

基于软构件的数据库应用系统的设计

在研究软构件理论的基础上，将构件技术引入数据库系统的开发，提出了一种基于软构件的数据库系统开发模型，利用该模型研制开发了一个应用系统．     

一种改进的协同过滤推荐算法

针对User-based协同过滤推荐和Item-based协同过滤推荐算法的不足,提出了一种改进的推荐算法。该算法融合User-based协同过滤推荐和Item-based协同过滤推荐算法思想,通过形成项目相似集来填充用户评分矩阵,并利用高评分阈值来计算用户相似性,有效改善了传统协同过滤推荐算法的数据稀疏性和实时性。实验结果表明,该算法可以显著提高推荐系统的推荐质量。     

一种解决协同过滤系统冷启动问题的新算法

在基于矩阵分解的协同过滤算法中,新用户和新项目的冷启动问题是所面临的难点问题之一。通过运用基于K近邻的属性--特征映射的算法得到新用户和新项目的特征向量,解决了该类协同过滤算法所面临的冷启动问题。在真实的实验数据集上验证了该算法的有效性。     

TCP／IP协议应用于嵌入式系统的研究与实现

文章介绍了一种TCP／IP协议在有限存储空间的嵌入式系统中实现的具体方案。通过合理的任务划分，构造模块，由模块完成网络任务，并通过任务管理器来管理网络任务、应用程序。整个软件代码量小、结构简单、易于移植和扩充。     

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

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

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

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

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

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

SoC hardware/software partitioning algorithm for multi-performance index constraints

A new partitioning algorithm based on adaptive chaotic genetic annealing is proposed to solve the hardware/software partitioning problem of System on Chip (SoC) on the multi-performance index. A new objective function with different proportions of punishment based on multi-constraints is presented in this algorithm which is based on the genetic algorithm. The chaos operation is employed to generate the initial population, and the adaptive mutation operator is adopted. Individuals with poor fitness are optimized by the adaptive chaos strategy as the population individuals which tend to be similar. The optimum individuals upon genetic manipulation are optimized by the annealing strategy. Simulation results suggest that the algorithm can reduce the least power consumption by 9.8％ and 4.7％ in the case of 200 nodes, and by 5.6％ and 4％ in the case of 300 nodes, respectively, compared with the simulated annealing algorithm and genetic algorithm.     

汽车网络中多核SoC的NoC结构研究

将汽车电子信息网络划分为通信信息系统和测控系统两个部分,设计了汽车通信信息系统和发动机控制系统两个不同的SoC结构.这两个Soc都属于多CPU的SoC,其中数据传输结构比较复杂.在对汽车电子网络分析的基础上,对汽车通信信息系统SoC和发动机控制系统SoC的结构进行了研究,设计了两种网络的SOC结构.作为一种特殊的片上网络结构,根据所提出的SoC结构,提出使用关联矩阵分析soC中连接条件的N0c设计分析方法.     

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

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

SCSD在SoC原型验证中的应用及其改进

以软件编译式系统设计方法学为基础,提出了片上系统(SoC)的原型验证流程,并用Handel-C描述SoC原型,直接实现在原型硬件上．为了验证该流程,用SCSD的软件工具、RC1000和RC200搭建了一个SoC原型验证系统的样机,在样机上完成了Lena图像处理SoC的原型验证．在反复试验的基础上,改进了SoC原型验证流程,并设计出了新的原型电路板．     

Lilac SoC的FPGA实现

简要介绍了用FPCA实现Lilac SoC设计的意义以及该BoC系统的组成，在此基础上详述了整个FPGA实现流程，给出了流程中关于综合与实现约束问题的描述，并给出了FPCA对系统的验证结果分析。