简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:在考虑并行隧道耦合传热的前提下,预测越江公路隧道江岸浅埋段地温的长期演化,使用有限差分法进行数值模拟,通过现场观测与数值迭代方式确定边界条件与初值.模拟结果表明:最终的计算稳定传热时间为68年,但传热在20年内即基本完成;隧道周围的初始恒温土层最终被转变为年变温土层;隧道外侧5m及两孔之间出现了一个显著变温区,其最大温升值为7.14℃,最大年度温升的峰谷值为10℃;隧道周围10m以下土层的温度变化仅由隧道传热所控制;两孔之间土层的最终稳定温度要高于其他位置的最终稳定温度,证实了耦合传热效应的存在.此外,还提出了一组单变量函数的回归模型,用以估计隧道周围不同位置土层的年度温度波动量.该研究将有助于深入探究隧道浅埋段所穿越江滩区域工程地质条件的长期演化趋势.