事务级模型相关论文
信息技术的不断发展,尤其是大数据时代的到来,需要计算机提供更加强大的数据处理能力。集成电路工艺的进步,使片上处理器的多核架......
集成电路设计的等价性检验是重要的形式化验证方法。由于系统级模型和寄存器传输级(RTL)实现之间存在很大的语义差别，并且不存在结......
为了促进我国音视频相关产业的产业升级和发展,2002年6月国家信息产业部科学技术司批准成立AVS工作组,负责制定我国的数字音视频编......
半导体工艺进入深亚微米级以后，作为最常见数字系统芯片的SoC电路规模进一步增大，传统总线结构片上互联受到了总线效率低下、布线延......
提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根......
讨论在SystemC环境下通过命令行不经编译直接构建仿真平台的方法。描述该方法构建仿真平台过程。分析平台模块的类型和它们在模块......
提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根......
构建了基于PowerPC处理器的SoC软硬件协同验证平台。该平台使用层次化设计方法,支持TLM抽象层次的虚拟原型仿真,兼顾了仿真精度和......
在对系统进行高层次建模和验证时,事务级模型得到越来越广泛的应用。在SystemC语言的基础上构建了火控计算机的事务级模型,并通过......
随着集成电路制造技术迅速发展,SoC(system-on-chip)设计已经成为集成电路设计的发展方向。SoC设计的复杂度不断提高,传统的设计以......
为提高可扩展处理器体系结构（SPARC）的设计抽象层次和仿真速度，设计一种符合第8版SPARC（SPARCV8）的事务级模型。该模型基于TLM2．0标准，采......
在移动多媒体应用驱动下,以高速无线个域网为背景,从媒体访问控制(MAC)层协议优化、通信协议的高层次设计以及系统级的低功耗设计......
随着芯片系统的功能日益复杂,上市时间却越来越短,越来越多的芯片系统希望实现为片上系统(SoC)。SoC是指集成有包括微处理器、存储......
随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺......
