简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:2005年的春天,以年轻人为主力的中国网民,在互联网上发起了一个给总理起"网名"的活动。在全国"两会"结束后第一天,在新华网发展论坛上有7958名网友为总理起了304个网名,其中包括"知心公仆"、"温暖中国"、"大众网友"、"百姓之子"等听上去相当温情脉脉的名字。一位网友为总理起了一个"铁腕温情"的网名,还用一副对联对这一名字进行了阐释:铁腕斩贪官绝腐败朝野协力慑痼疾,温情润子民泽河山举国同心振中华。还有不少网友建议把总理称作"温大哥"、"家宝哥"。言为心声,向来"嘴不留情"的中国网民,就这样把在很多人眼中仍高不可攀的国家领导人当作了"自己人"。