论文部分内容阅读
介绍了一种最新的验证方法VMM验证方法学,采用VMM的结构层次化方法设计了数据压缩子系统芯片的RTL级验证平台。验证结果表明,该验证平台具有随机约束、覆盖率驱动、自动化和可重用等优点,显著的提高了验证效率。
基于VMM的芯片验证平台设计
【摘 要】
：
介绍了一种最新的验证方法VMM验证方法学,采用VMM的结构层次化方法设计了数据压缩子系统芯片的RTL级验证平台。验证结果表明,该验证平台具有随机约束、覆盖率驱动、自动化和
【机 构】
：
杭州电子科技大学电子信息学院
【出 处】
：
中国水运(下半月)
【发表日期】
：
2008年12期
其他文献
通过采用MARC有限元程序对外置钢管补强的7个圆柱形试件进行非线性数值分析，得到了在一定垂直荷载和往复水平荷载的作用下非线性荷载与位移的关系曲线，并考察了钢管的径厚比、
为实现工程机械施工机群的智能化．构建了2种人机智能体：提出将分层递阶智能控制应用于施工机群智能化过程中，将施工机群分为3个控制层次，在不同控制层次上用相应智能程度的智能体
针对西宝高速公路存在的裂缝和车辙等病害路段，在这些路段的路面大修过程中采用了纤维加强技术，通过试验证明，纤维加入到沥青混合料中后，可以明显改善沥青路面的综合路用性能，尤其
介绍了泡沫沥青现场冷再生技术在G104线安徽段上的试验应用，通过技术方案选择、旌工过程以及质量控制要点等，得出了泡沫沥青冷再生技术在旧路面大修中具有很强的灵活性及隔断裂
德国林泰阁公司为了拓展工程机械设备的市场，制造并销售与中国及欧洲和亚太地区优质的德国林泰阁沥青搅拌站和相关的工程设备，发展和推广优质的技术。由德国LINTEC公司、新加坡
由三一重工自主研发的SDD330型水平定向钻机日前在上海三一科技成功下线，这是三一科技继去年推出SDD160型水平定向钻机以来的另一款智能化高科技产品。
通过在石环公路路基施工中应用冲击压实工艺,表明冲击压实工艺在对土质路基基底冲压30遍时,基底压实度完全可满足不低于96%的要求,路基基底完成20cm左右的预沉降,且在每填高
本文以四轮驱动的冷铣刨机为研究对象，对冷铣刨机行走驱动液压系统的速度特性进行了分析，建立了冷铣刨机行走速度特性方程。同时，对利用冷铣刨机的行走速度来实现功率自动分配进