基于Petri网的协议并行化处理模型的描述和验证

本文提出了一个ＯＳＩ／ＲＭ运输层协议并行处理模型，以适应协议的高效处理，根据模型特点，使用Ｐｅｔｒｉ网作为形式化描述工具，对该模型进行描述，分析和验证。     

基于有色Petri网的一种密码协议的描述和分析

Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷。     

用例图的BNF描述和扩充的基于约束模块化Petri网检测

本文提出了用BNF描述用例图的语法结构,分析了已有Petri技术对描述用例的局限性,给出了扩充的基于约束模块化Petri网的定义,并用一个实例说明了这些描述和定义的具体应用。     

动态描述逻辑动作间关系的Petri网分析方法研究

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.     

网上证券交易系统的时序Petri网描述及验证

基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性.因此,时序Petri网可作为并发系统形式化描述和分析的有力工具.     

基于混杂系统Petri网模型的化工生产开车过程描述

研究了基于递阶模型的混合动态系统描述方法，针对化工生产开车过程，建立了由协调层和监控层组成的递阶模型结构，根据各层的动态特性，分别采用了赋时Petri网和混合Petri网进行了具体的描述。并以合成革生产DMF溶剂回收开车过程为例进行了具体的讨论。     

基于案例推理系统的Petri网模型

在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演，本文中，我们提出了一个基于案例推理系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演。     

基于着色Petri网的TCP协议的形式化描述及验证

根据着色Petri网的建模的方法和工具CPNT001．对TCP协议的连接建立模块建立了着色Petri网模型。得到了可达树,通过可达树的方法对协议模型的正确性进行验证。     

SoC及其应用

介绍SoC和SoPC的功能特性及其应用，SoC技术的研究、发展和应用对社会信息化建设有重大意义。     

基于多层AHB架构的多核SoC设计

设计并实现一个基于多层AHB架构的多核异构片上系统。以ARM和DSP处理器为核心,对控制密集型任务和计算密集型任务进行合理分配并高效执行。采用分布式存储和共享存储相结合的存储器配置方案,保证数据完整性与程序并行性。利用基于多层AHB的开关矩阵结构,使不同主设备在不竞争同一个从设备时可并行访问总线。实验结果表明,该系统的资源消耗和延迟较小,可支持较大的网络带宽。     

SoC设计中的IP核保护方法研究

对现有主要IP核保护方法的原理和性能进行了研究分析,指出了各种方法的优缺点,同时指出了IP核保护方法的发展方向.     

基于ARM Cortex-M3核的SoC架构设计及性能分析

主要研究了基于ARM Cortex-M3核的SoC设计方法及不同架构对芯片整体性能的影响.首先从Cortex-M3的结构特点尤其是总线结构特点出发,分析了基于该核的SoC架构设计的要点.然后通过EEMBC的CoreMark程序,对实际流片的一款Cortex - M3核芯片进行了性能测试,并与STM32F103 MCU的测试结果进行了对比,通过实例说明了不同芯片架构对性能的影响.最后,对影响SoC芯片性能的因素,包括芯片架构、存储器速度、工艺、主频等进行了分析和总结.     

深亚微米SoC芯片的可测试性设计

深亚微米工艺使SoC芯片集成越来越复杂的功能,测试开发的难度也不断提高。由各种电路结构以及设计风格组成的异构系统使测试复杂度大大提高,增加了测试时间以及测试成本。描述了一款通讯基带SoC芯片的DFT实现,这款混合信号基带芯片包含模拟和数字子系统,IP核以及片上嵌入式存储器,为了满足测试需求,通过片上测试控制单元,控制SoC各种测试模式,支持传统的扫描测试以及专门针对深亚微米工艺的,操作在不同时钟频率和时钟域的基于扫描的延迟测试模式,可配置的片上存储器的BIST操作以及其它一些特定测试模式。     

采用AMBA总线的SoC中UART的设计与实现

在“双向有线DTV信道传输SoC芯片”中,采用了AMBA总线作为片上总线,为了与外部设备进行串行通讯,必须设计采用AMBA总线接口的UART。介绍了UART的功能结构与实现方法。采用Top—Down的设计方法进行模块化设计,使用Verilog语言进行描述．最终用FPGA验证通过并投入使用。     

SoC功能验证的特点和方法

简要分析了传统集成电路（ASIC）验证方法的特点以及将这些方法应用于系统级芯片（SoC）验证时所面临的问题。在此基础上，论述说明了模块级验证是提高SoC验证效率的基础；而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外，还介绍了用于SoC功能验证的关键方法，包括断言和RTL形式验证，Farm，随机化测试激励和功能覆盖等。     

SoC实时信号处理系统中的存储系统设计

在实时信号处理系统中,常常需要对原始数据以及中间处理数据以行或列交错的形式进行访问,使用通用的DDRSDRAM系统难以满足系统的实时要求。在基于SoC（System on Chip）技术的实时信号处理系统中,设计了具有全新体系结构的存储系统,新的存储系统的访存效率达到一般的DDRSDRAM的2～3倍左右。     

一种集成“龙芯1号”IP核的SoC的体系结构

提出了一种集成“龙芯1号”RISC CPU以及其它12种IP核的SoC的体系结构,并对其性能进行了分析。此外,还将该SoC与目前市场上存在的同类SoC的主要特征进行了对比,该SoC的设计目标定位在低成本、低功耗、高稳定性与安全性的32位嵌入式应用。     

面向工程的SoC技术及其挑战

系统集成芯片(SoC)是21世纪集成电路的发展方向，它以IP核复用技术、超深亚微米工艺技术和软硬件协同设计技术为支撑，是系统集成和微电子设计领域的一场革命。该文阐述了SoC的设计与验证、IP的开发与复用以及工程化SoC所面临的超深亚微米下的物理综合、软硬件协同设计、低功耗设计、可测性设计和可重用技术等方面的挑战。