期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于事务级协同仿真的AXI4交易器设计与验证
1
作者 计润五 黄正峰 +1 位作者 杨滔 孙亮 《合肥工业大学学报(自然科学版)》 北大核心 2025年第9期1201-1207,共7页
针对软硬件协同仿真过程中通信时间不同步和硬件仿真速度受限的难题,文章设计实现了一种高级可扩展接口(Advanced eXtensible Interface 4,AXI4)协议的交易器。基于事务级的软硬件协同仿真,结合硬件描述语言特性以及函数式编程的软件特... 针对软硬件协同仿真过程中通信时间不同步和硬件仿真速度受限的难题,文章设计实现了一种高级可扩展接口(Advanced eXtensible Interface 4,AXI4)协议的交易器。基于事务级的软硬件协同仿真,结合硬件描述语言特性以及函数式编程的软件特性,使用SpinalHDL硬件描述语言设计一种AXI4接口协议的交易器,利用高级语言的敏捷特性对交易器生成流程进行高效处理,加速仿真验证阶段的编译流程。基于通用验证方法学(universal verification methodology,UVM)搭建验证平台对设计的交易器进行功能验证,结果显示交易器的代码覆盖率综合达到99.17%,功能覆盖率达到100%,符合交易器的功能要求。调用AXI Interconnect IP作为待测设计(design under test,DUT)在国产硬件仿真器-HyperSemu上实现事务级传输,结果显示,相较于纯软件仿真加速比达29.94,加快了协同仿真的验证速度,提升了仿真性能。 展开更多
关键词 交易器 高级可扩展接口(AXI4) 通用验证方法学(UVM) 硬件仿真器 SpinalHDL硬件描述语言
在线阅读 下载PDF
建立SDH系列芯片验证平台 被引量:5
2
作者 杜慧敏 曾泽沧 +2 位作者 孟李林 韩俊刚 沈绪榜 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期678-681,共4页
针对同步数字系列 (SynchronousDigitalHierarchy ,SDH)芯片开发的验证平台 ,利用事务和断信技术 ,采用模块化结构设计 ,层次结构清楚 ,具有良好的可重用性 用该测试平台验证了设计的超百万门的SDH成帧芯片的功能 实践表明 。
关键词 SDH系列芯片 同步数字系列 功能验证 事务 处理程序 断信技术 IC卡 模块化结构设计
在线阅读 下载PDF
股市交易群体变动的模型与混沌 被引量:6
3
作者 黄小原 庄新田 《预测》 CSSCI 2001年第5期48-50,共3页
金融系统复杂性的研究结果指出 ,股市交易存在两种类型交易者 ,即基本交易者和噪声交易者。股市行为基本动因是基本交易者的动态变化所致 ,而股市波动的另一个原因则是噪声交易者动态行为。本文则研究股市交易群体变动条件下的模型及其... 金融系统复杂性的研究结果指出 ,股市交易存在两种类型交易者 ,即基本交易者和噪声交易者。股市行为基本动因是基本交易者的动态变化所致 ,而股市波动的另一个原因则是噪声交易者动态行为。本文则研究股市交易群体变动条件下的模型及其混沌问题 ,分析建立了股市波动模型以至产生混沌的系统条件 ,并给出金融系统的计算机仿真实验 ,检验了股市波动产生混沌的条件。 展开更多
关键词 交易者 李雅普诺夫指数 混沌 股市波动模型
在线阅读 下载PDF
论对关联交易规制的必要性 被引量:2
4
作者 危红 《重庆工商大学学报(社会科学版)》 2007年第1期86-88,共3页
从理论上讲关联交易属于中性经济范畴,它既不属于单纯的市场行为,也不属于内幕交易,从这种意义上说,对其简单地褒贬或利弊分析并不一定合适,但由于关联交易会造成关联方与其他市场参与者之间的信息不对称,往往有失公允,更多地表现为危害。
关键词 关联交易 关联方 公司
在线阅读 下载PDF
基于SCE-MI标准的事务级SoC协同仿效平台设计 被引量:3
5
作者 刘凯 李平 廖永波 《微电子学》 CAS CSCD 北大核心 2007年第5期624-627,共4页
讨论并介绍了基于事务的验证方法和SCE-MI标准,提出了一种基于SCE-MI标准的层次化事务级SoC协同仿效平台架构,并给出了该平台的具体实现方案;给出了一个基于该平台搭建的SoC验证环境实例及部分相关实验结果。
关键词 协同验证 SCE-MI标准 事务器 层次化架构 验证平台
在线阅读 下载PDF
虚拟GDB远程调试技术及其在硬件仿真器中的应用 被引量:2
6
作者 黄侃 徐勇 李艳荣 《河北科技大学学报》 CAS 北大核心 2023年第3期211-218,共8页
为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信... 为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。 展开更多
关键词 计算机仿真 远程调试技术 硬件仿真加速器 SCEMI JTAG事务器 OpenOCD
在线阅读 下载PDF
无权处分与善意第三人的保护——兼论《合同法》第51条与《物权法》第106条的关系 被引量:7
7
作者 王若冰 《法学杂志》 CSSCI 北大核心 2012年第12期170-174,共5页
针对无权处分行为,我国《合同法》第51条从合同关系的角度作出了规范,而《物权法》第106条从物权变动的角度对其做出了规定,二者的上述规定存在一定的冲突和矛盾。应该在受让人是善意的情况下,优先考虑是否符合《物权法》第106条的构成... 针对无权处分行为,我国《合同法》第51条从合同关系的角度作出了规范,而《物权法》第106条从物权变动的角度对其做出了规定,二者的上述规定存在一定的冲突和矛盾。应该在受让人是善意的情况下,优先考虑是否符合《物权法》第106条的构成要件,如果完全符合该条确定的构成要件,应直接适用善意取得,认定该交易是有效的。 展开更多
关键词 无权处分 善意取得 第三人 保护
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部