【摘 要】
：
随着集成电路技术的发展，SOC设计中IP核规模越来越大，复杂度越来越高，验证变得愈加困难，而且非常耗时,。本文使用了VMM标准类库提供的相关基础层类搭建了GMAC的验证环境以及相关组件，使用某公司提供的以太网验证IP实现了以太网数据帧收发事务处理器，使用AMBA验证IP模型实现了AXI主从接口的事务处理器，使用SystemVerilog语言编写了测试案例以及验证平台的自动控制机制，最后对GMAC单
【机 构】
：
湖南省长沙市国防科技大学计算机学院 410073
【出 处】
：
第十八届计算机工程与工艺年会暨第四届微处理器技术论坛
论文部分内容阅读
随着集成电路技术的发展，SOC设计中IP核规模越来越大，复杂度越来越高，验证变得愈加困难，而且非常耗时,。本文使用了VMM标准类库提供的相关基础层类搭建了GMAC的验证环境以及相关组件，使用某公司提供的以太网验证IP实现了以太网数据帧收发事务处理器，使用AMBA验证IP模型实现了AXI主从接口的事务处理器，使用SystemVerilog语言编写了测试案例以及验证平台的自动控制机制，最后对GMAC单元进行了验证。验证实现过程及验证结果表明，使用VMM验证方法学能够方便快速的搭建验证平台，使用自动化功能提高了验证效率，同时功能覆盖率能够达到快速实现验证收敛的目的，整个验证过程易于控制，验证效率以及验证完备性较高。
其他文献
采用自行分离的嗜酸性硫杆菌A.ferrivorans为实验细菌,以酸洗废水处理工艺的出水为溶液配制9K培养基,研究了初始pH、Fe2+浓度和温度对细菌活性和黄钾铁矾生成量的影响,及其去除废水中重金属离子的效果.利用扫描电镜、X-射线衍射、FTIR红外光谱以及粒度分析等手段对黄钾铁矾样品的组成和结构特征进行了分析.实验结果表明:细菌以Fe2+为能源,当初始pH为2.5、温度为30℃时,细菌的活性最高
The study investigates the effectiveness of substituting R404A refrigerant with the more environmentally friendly hydrocarbon refrigerants R290 and Minus50 (R290/R170) in a commercial dual-temperature
气溶胶的形成已成为氨法烟气脱硫工艺推广应用的技术瓶颈,已有研究均采用离线分析方法,不能真实反映氨法脱硫气溶胶的形成和排放特性.本文采用气溶胶质谱仪对氨法脱硫中形成的气溶胶粒径及其化学组分进行实时测试分析,试验分析了氨法脱硫过程中气溶胶的形成机理.结果表明,气溶胶主要成分为硫酸盐、铵盐,质量浓度粒度分布集中在0.1μm～0.4μm之间.氨法烟气脱硫气溶胶形成途径中非均相反应占主要作用,质量浓度与数量
在不同过饱和氛围下,建立了燃煤细颗粒在声波场中团聚长大脱除的实验装置,对细颗粒物在声波场和不同过饱和氛围下的团聚长大脱除特性进行了实验研究.结果表明:细颗粒在声波场中的夹带系数随过饱和度的增大而增加,相应的脱除效率也有所提高;在过饱和度低于1.0时,细颗粒的总脱除效率很低约为10％,且几乎不随过饱和度的增大而增加,而当过饱和度大于1.0后,细颗粒的脱除效率随过饱和度的增大而迅速提高,过饱和度从1.
Based on the data of volatile organic compounds (VOCs) collected continuously in the Nanjing industrial area, the VOCs temporal variability, photochemical reactivity, differences in tracer ratios, and
运用WRF-CMAQ模型模拟了2013年12月初长三角及周边地区的一次强霾污染过程.初步探究灰霾天气下大气细颗粒物(PM2.5)的时空分布特征和区域输送过程,并定量研究了外部源区域输送和本地源对长三角地区PM2.5的贡献.结果表明：造成此次污染事件的天气背景是：长三角地区位于地面弱高压系统后部的偏南气流控制下,一方面由于冷高压从华东一带入海以后,变性高压处在东部沿岸,风从海上吹来,使得地面湿度增加
高介电钛酸钡(BaTiO3)材料在多层陶瓷电容器(MLCC)领域有着广泛的应用.[1,2]采用溶胶-水热法在200℃条件下经16h成功合成了稀土Nd掺杂的单分散BaTiO3纳米粉体,系统研究了Ba/Ti比、矿化剂浓度、反应时间以及Nd3+掺杂量对BaTiO3晶体结构和微观形貌的影响.研究结果表明,在水热条件下当Nd掺杂量小于2mol％时,可合成纯相BaTiO3纳米粉体；当Nd掺杂量高于2mol％时
相对于我国北部经济发达的京津冀，东部的长三角和南部的珠三角地区，我国中部地区雾霾气候变化的区域特征仍有待深入分析.本文利用1962-2011年华中地区霾日统计资料，对华中三省(河南，湖北和湖南)霾的时空分布特征和变化趋势进行了探讨.结果表明：1)在这50年间，河南省的年平均霾日数最大，年均霾日数最多的站点为河南北部的新乡，达到79.1天.年均霾日数超过30天的站点主要分布于河南中部和北部，湖北中部
二次有机气溶胶(Secondary Organic Aerosols,SOA)是大气中一些挥发性有机物(Volatile Organic Compounds,VOCs)或半挥发性有机物(Semi-Volatile Organic Compounds,SVOCs)经大气氧化和气/粒分配等过程形成的颗粒物。气相条件下的烯烃臭氧化反应是多种自由基以及二次有机气溶胶的重要来源,而大分子烯烃化合物臭氧化产物
Since volatile organic compounds (VOCs) are important precursors of ozone (O3), identification and quantification of their emission sources are prerequisite for the formulation and implementation of O