【摘 要】
：
SystemC是一种完全基于C++的建模平台,它支持系统的RTL级,行为级和系统级的建模.它由一个C++类库和仿真内核组成.SystemC有利于进行软硬件联合设计,提供一个通用的系统设计环境,测试基准的复用等等.文章叙述它的各种特性及与HDL的异同点,最后以一个片内测试实例具体说明.
论文部分内容阅读
SystemC是一种完全基于C++的建模平台,它支持系统的RTL级,行为级和系统级的建模.它由一个C++类库和仿真内核组成.SystemC有利于进行软硬件联合设计,提供一个通用的系统设计环境,测试基准的复用等等.文章叙述它的各种特性及与HDL的异同点,最后以一个片内测试实例具体说明.
其他文献
本文讨论了社保信息系统的安全策略模型,分析了系统的安全需求,并提出了基于Java技术的解决方案.旨在建立完善的安全机制.
铁路信号系统作为安全关键系统,它的失效可能带来灾难性的后果或重大经济损失,因此,安全关键系统的软件开发对可靠性和安全性的要求非常苛刻.而需求分析及描述是软件生命周期的一个重要环节,它所确立的系统逻辑模型是设计和实现目标系统的基础.本文提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法,希望代替以往继电器接点电路表示的逻辑关系处理方式.
蓝牙作为一种新兴的短距离无线通信技术,它能实现不同消费设备之间的快速互连,从而进行语音、数据信息的交换.蓝牙核心技术是由BSIG(蓝牙特殊兴趣小组)制定的蓝牙协议规范以及协议子集,各种蓝牙产品的开发必须遵照这些特定的协议描述.自从蓝牙问世以来,针对它的各种研究,应用开发就如火如荼的的展开了,同时其发展应用前景也受到了来自通信和计算机两大行业领域内人士的极大争议.而大多数人对于蓝牙的认识可能都是来源
网络第2层设备的拓扑结构的自动发现对于现代IP网络管理变得日益重要.在分析比较现有基于交换机地址转发表的拓扑发现算法的基础上,提出了一种基于网桥生成树的算法,利用SNMP获取交换机MIB中的生成树信息就能更加准确的推导出交换以太网拓扑结构.
入侵检测是网络安全研究中一个较新的领域.本文首先介绍了入侵检测系统的原理,并在此基础上利用Kdevelop 2.0以及Qt在linux操作系统下实现了基于数据包分析的网络入侵检测探针程序.该程序完成了共享网段中的数据包的捕获和分析,入侵特征的匹配以及对入侵活动的响应等功能.
随着Internet规模的急剧膨胀,基于TCP/IP的网络带宽测量越来越受到人们的关注.带宽测量的研究对于TCP协议实现的改进,实时动态路由选择的优化、辅助适应性QoS的应用程序设计,网络服务SLA的验证等都具有很重要的作用.该文明确了现有带宽度量的一些定义,指出其存在模糊性问题;系统地分析和比较了现有各种带宽测量方法,并将其分为如下五类:(1)通过模拟TCP连接获得BTC;(2)基于变长包序列模
长期以来,人们一直关注网络的带宽瓶颈,并在此方面做了大量研究,但目前Internet中的许多应用,如VoIP,telnet等对端到端的延迟更加敏感.本文分析了Internet中47个节点之间的逐渐延迟状况,从延迟瓶颈对于端到端延迟的影响,路径中不同路由的延迟瓶颈,延迟瓶颈发生的位置和原因论述了延迟瓶颈的特性,并得到如下结论:(1)Internet中绝大多数路径的延迟瓶颈消耗了端到端延迟的1/3或更
实时安全监控是计算机应用的重要领域,除了要求系统功能全面外,对工作可靠性也提出了较高的要求.本文设计了一种基于多媒体和网络技术的计算机监控系统,探讨了提高系统可靠性的方法,并针对系统中前置机的工作需要实现了基于CAN总线的双模冗余系统的设计.
在高层次测试生成中,为了更好的利用高层次电路的结构信息,文中以Verilog硬件描述语言描述的电路为研究对象,提出RTL级集成电路的静态时序深度和动态时序深度概念.从静态、动态两方面出发度量语句的执行效果和程序运行的时序关系,并结合实例分析了二者在高层测试生成中的 应用.高层次行为信息的提取也将为高层次设计和验证提供方便.
本文提出了基于真值表的组合电路测试生成算法,同时证明了这是一个完全的算法.该算法对真值表稍作处理就能对输入端的单故障生成测试码,简捷而有效.该算法生成测试码计算工作量小,能对故障生成完全测试集.