面向SoC的系统级设计语言

目前集成电路的设计已经进入SoC时代，介绍了SoC设计所用的系统级设计语言的发展情况，以及典型的系统级设计语言在不同设计层次上的描述能力；并介绍了几种典型的系统级设计语言，给出了这些语言之间的特点对比，最后阐述了对系统级设计语言的看法，展望了其发展前景。     

组合导航系统的系统级BIT设计

为提高某SINS／GPS组合导航系统的可靠性、维修性和测试性，针对该系统进行了系统级BIT测试需求分析，并在此基础上，应用系统级BIT测试性设计技术，设计并具体实现了该系统的系统级BIT。实验结果表明，所设计的系统级BIT完全满足该组合导航系统的测试需求。     

应用级民航电报交换系统的体系结构设计

本文引入逻辑集成的思想，提出了民航电报交换系统这个应用级网关的体系结构。该结构支持设备接入的透明性，满足电报交换系统的可靠性和可扩充性要求。它将软件系统分为两个层次：逻辑集成层和IP交换层。逻辑集成层的自适应能力是实现系统可扩充性的基础，IP交换层实现了一致的电报交换功能。     

用SystemC进行SoC的系统级设计与仿真

IC技术已发展到SoC阶段,系统级设计、仿真和验证已成为IC设计面临的巨大挑战。SystemC是新兴的系统级设计语言,为复杂系统的设计与验证提供了解决方案。本文介绍SystemC的特点和使用方法,深入分析SystemC事务级验证的原理,给出事务级验证的实例,最后还分析SystemC的缺陷和前景。     

集成电路进入片上系统时代

首先评述了系统级集成电路的发展现状 ,然后介绍了系统级集成电路的设计技术 ,其中包括系统级集成电路的设计方法、系统级集成电路中的 IP问题及深亚微米设计技术 ;简述了系统级集成电路的测试技术和芯片加工技术 ;最后预测了系统级集成电路的未来发展。     

系统级CMOS电路的低功耗设计

随着集成电路规模的增大和工作频率的提高，功耗已经成为面积和性能之外的主要设计目标。低功耗设计可以在不同的设计层次进行考虑，早期的设计确定了系统的构架，对功耗的影响最大，因此本文重点探讨了RTL级和系统级的低功耗设计，具体的途径有：实行有效的功耗管理；采用并行处理和流水线结构；采用分布式的数据处理结构以及用专用电路代替可编程处理器。     

基于DSP芯片的分级分布式管理系统设计

通过一个两级分布式图像处理系统中管理计算机的实现，阐述基于DSP的控制电路的设计方法以及对两级分布式系统的协调控制；给出原理样机的调试结果和进一步的计论．     

以太网交换控制电路流量控制研究与实现

针对以太网交换控制电路帧丢失问题，研究了以太网交换的流量控制技术，在以太网交换控制电路设计中采用了流量控制机制，实现了基于数据缓冲策略的流量控制功能，解决了数据缓冲区可用容量不足造成的数据帧丢失问题。     

基于VHDL的系统规范语言的研究

将ＶＨＤＬ语言应用到嵌入式系统的设计提供支持是扩展ＶＨＤＬ对系统级设计支持的一种研究途径．本文考察了几个典型的对系统级设计提供支持的规范语言，它们都将ＶＨＤＬ集成到自己的设计方法之中．在此基础上，作者总结了支持系统级设计的规范语言的基本要素，指出将形式描述方法与ＶＨＤＬ相结合可提供一种更有效的设计支持工具．     

面向SoC的系统级设计语言

目前集成电路的设计已经进入SoC时代,介绍了SoC设计所用的系统级设计语言的发展情况,以及典型的系统级设计语言在不同设计层次上的描述能力;并介绍了几种典型的系统级设计语言,给出了这些语言之间的特点对比,最后阐述了对系统级设计语言的看法,展望了其发展前景。     

An assertion-based verification methodology for system-level design

In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The system-level assertions can be used to monitor the current state of system or flow of transactions. These assertions are automatically converted to “monitor hardware” or “monitor software” during the system-level synthesis process depending on their type and also synthesis style of their corresponding functions. The synthesized assertions are functionally equivalent to their original system-level assertions, and hence, can be reused to verify the system after HW/SW synthesis and also at run-time after system manufacturing. This way, not only system-level assertions are reused in lower-levels of abstraction, but also run-time verification of system is provided. In this paper, we describe the system-level assertion language and explain the corresponding synthesis method in our object-oriented system-level synthesis methodology; however the concept can be applied to any system-level design methodology with modifications to assertion types and synthesis method.     

Lightweight coarse-grained coordination: a scalable system-level approach

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.     

通用嵌入式32位RISC CPU设计概述

近年来,嵌入式微处理器在SoC设计中得到了广泛应用。嵌入式微处理器设计成为一个颇受欢迎的话题,其设计过程主要包括规格定义、指令集、体系架构、总线接口、顶层模块划分、子模块设计和验证、系统整合与调试、系统级验证、FPGA原型验证和软件开发环境等几方面。     

立足于实际的数字系统级诊断

本文主要提出了一个立足于当前实际的系统级诊断模型。在这模型下，系统级诊断变得很容易。模型基于下列假定：将系统划分成既具有自测试又具有测试其它单位能力的一种单位；其测试能力和测试结果用模糊数学来描述；自测试时在各种情况下均能给出正确的结果；测试其它单位时，除测试者本身具有严重故障外，也均能给出正确结果。     

一种面向网格结构的系统级故障诊断集团算法

网格是一种高性能分布式计算环境，它是构筑在Inernet之上的一种新型的信息技术基础设施。为保证网格可靠高效地运行，利用系统级故障诊断的方法研究网格的可靠性是很有意义的。文章提出了网格结构中的系统级故障诊断方法，并给出了一种面向网格结构的系统级故障诊断集团算法。     

系统级BIT的故障隔离策略

为缩短系统级BIT的平均故障隔离时间,吸取直接熵法的基本思想,运用信息流模型 和信息理论,提出系统级故障隔离的间接熵法,并讨论了工程中应用间接熵法时所需考虑的相关 问题.实验验证和理论分析表明,该方法弥补了直接熵法构造故障隔离策略时需进行人工干预、计 算复杂性高的不足;在不等故障概率的假设条件下,平均故障隔离时间比直接熵法减少约38%.     

基于布尔方程的系统级故障诊断表示及应用

With the popularization of multiprocessor systems and network applications,the study ot ctepenaaomty of systems has become an important research area of computer science.A “Boolean equation diagnosis” method is firstly presented for test model of system-level fault diagnosis,and the correctness of the equations has been proven.The Boolean equation is more concise than the graph method in test model representation.Based on the equations,the methods to compute optimal diagnosis,the set of consistent fault pattern,absolute good processors and bad processors are presented.And some theorems about the relationship among different test models on the set of consistent fault pattern and diagnosibility are proved.It is a useful attempt in theory and practice of system-level fault diagnosis.     

Chwa ＆ Hakimi故障模型的方程表示

把基于对称比较的系统级故障模型-Chwa＆Hakimi模型等价地转换为一个方程(或方程组),这将给此类故障模型的诊断带来极大便利     

基于移动代理的主动网络系统级故障诊断模型

主动网络的可靠性和可用性是计算机网络领域的重要研究课题之一。通过分析系统级故障诊断的分布式算法设计思想，将系统级故障诊断的理论应用于基于移动代理的主动网络管理，给出了基于移动代理的主动网络的系统级故障诊断三值模型，提高了测试的可靠性和正确性。文中还阐述了分布式故障诊断算法，并利用移动代理的管理策略，达到了分布式的网络管理，具有实际应用的重要意义。     

基于BP神经网络的系统级电源管理算法

在深入研究目前国际上比较流行的几种系统级电源管理（PM）算法的基础上，利用BP神经网络的非线性映射能力，提出基于BP神经网络的、对任务之间相互间隔时间也就是系统空闲时段的长度进行自适应学习的BPPM算法，具有传统回归PM算法不可比拟的优点。仿真实验表明引入神经网络的电源管理算法较之传统PM算法大大降低了系统级功耗。实现了在不需要建立系统模型、无需预先获得负载统计特性的前提下，通过从系统正常工作产生的数据中不断学习，使系统具有自适应、高效的电源管理能力，以达到降低系统功耗、提高器件可靠性、延长工作寿命的目的。