【摘 要】
:
采用SystemC建模高抽象级模型、SystemVerilog进行验证工作,是解决验证工作量随着SoC复杂度提高而增加问题的有效手段。为了实现两种语言的联合仿真,提出了一种基于SystemC和
论文部分内容阅读
采用SystemC建模高抽象级模型、SystemVerilog进行验证工作,是解决验证工作量随着SoC复杂度提高而增加问题的有效手段。为了实现两种语言的联合仿真,提出了一种基于SystemC和SystemVerilog的联合仿真平台的实现,平台采用UVM验证方法学,采用标准化的组件结构与TLM通信方案,采用官方的UVMC库解决了SystemC与SystemVerilog之间的数据通讯问题,能够产生定向或约束性的随机激励。实际在UVM验证平台中完成对于AHB主设备接口的验证,结果显示,所设计的平台可以行之有
其他文献
为提高银行信息系统的安全性,针对银行信息系统系统设计阶段可能存在的风险,提出一种基于威胁建模的风险评估方法。通过对银行信息系统所涉及的关键信息资产以及威胁的识别,
2009年4月19日凌晨,由猪流感疫情国美国引进的1000头种猪直达西安空港(期间有9头种猪自然死亡)。鉴于美国大面积爆发甲型H1N1流感疫情,陕西出入境检验检疫局(以下简称陕西局)
在以银行间接融资为主导的金融市场上,银行信贷对经济增长的作用是显著的。但是地区差异会使银行信贷对经济增长的作用有所差异。本文在对银行信贷对经济增长影响的理论进行
为了探测云边界,采用毫米波雷达(MMCR)和微脉冲激光雷达(MPL)联合观测的方法,观测了层积云、高层云、高积云和卷积云个例,并对比分析了两部雷达探测到的云边界的差异。结果表明,
在经济全球化和技术进步推动下,产品内贸易日益成为国际贸易的主要形式。中日贸易中电气及电子类产品内贸易占主导,并日趋活跃。运用产品内贸易指数、竞争力指数等指数对中日
2017年1月6日,来自甘肃检验检疫局的消息,近日,由天水武山瑞德园食品加工厂生产的19t速冻蔬菜成功出口俄罗斯,实现了天水速冻蔬菜的首次出口.这是继天水核桃仁时隔20年出口阿
·财税政策肩负着推进中国经济发展方式转变的重要历史使命,具体有效地制定转变经济发展方式的财税政策,将是需要通盘考虑和全面准确部署的紧迫任务。·实现"十二五"
<正>目前落地的PPP项目几乎全是央企、国企。原有的地方债务转移到国企变成企业债,表外的处理,让整个债务由明变暗。央企、国企通过PPP项目资本金融资、项目融资,做到了高杠
江苏省委省政府高度重视农民教育培训,将农民技能素质提升作为一项基础工程、实事工程和民生工程,摆到重要位置,予以强力推进。全省各地农业农村部门围绕乡村人才振兴,大力开
针对当前Intemet应用项目开发面临的安全问题的挑战,通过对可预见的成胁进行分析和确认的建模方法,帮助开发人员在项目早期识别和控制项目安全风险。结合一个典型的三层结构的