论文部分内容阅读
VMM是一种基于SystemVerilog语言的验证方法学，它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过一个实例介绍怎样利用VMM建立基于事务的可重用的层次化验证平台。
利用VMM建立基于事务的层次化验证平台
【摘 要】
：
VMM是一种基于SystemVerilog语言的验证方法学，它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过一个实例介绍怎样利用VMM建立基于事务的可
【机 构】
：
中国科学院沈阳自动化研究所,中国科学院研究生院
【出 处】
：
微计算机信息
【发表日期】
：
2010年11期
其他文献
外语教学的一个重要任务在于培养人们进行跨文化交际的能力.然而,不同文化背景下产生的文化差异影响着人们相互交往和相互理解,这在视听理解中表现尤为突出.因此,视听教学中
目的通过研究老年肿瘤患者急救需求,分析其治疗和康复需求情况。方法对2015年1月至2019年12月接诊的1756例老年恶性肿瘤病例进行数据整理,并使用SPSS 25.0软件进行数据分析,
文章提出了一种基于粒子群算法（PSO）的拉线位移传感器测量系统的方法来用于测量空间三维坐标,分析了测量系统的目标函数,建立了粒子群算法求解三维坐标的数学模型,通过软件仿真
对全直线上的四阶方程提出Laguerre-Laguerre复合谱方法进行求解.通过构造恰当的基函数保证交面的连续性,并用数值算例说明该方法的高精度.通过与纯Hermite谱方法进行数值结