简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:国务院正式批准成立皖江城市带承接产业转移示范区,是安徽融入长三角、加快跨越式发展的难得机遇,也是实现安徽在中部地区率先崛起的关键一步,必将掀起皖江新一轮大开发大开放高潮。在各种形式的经济活动中,旅游往往起着重要的先导与推动作用,因此皖江城市带的旅游产业也必将迎来发展的黄金时期,在此背景下阕述了皖江城市带旅游产业发展的必然性,提出皖江城市带旅游产业发展的战略构想,分析了皖江城市带旅游产业发展战略实施的主要对策。