简介:Coursera在线学习平台在发展中体现出,合作伙伴类型的多样化、在线课程语言的多样化和在线课程学科的多样化三大特色;在线学习者自定步调进行学习;教学设计具有创新性,推行"签名追踪体系"的认证付费服务;但在该平台的学术成就和教育质量受到一定质疑。edX在线学习平台一方面注重与顶尖大学进行合作,另一方面积极与政府、企业搭建合作平台,实施多元化扩张之路;虽然其在线课程的语言较为单一,但在线课程学科与Coursera一样呈多样性;授课时间的固定性使在线课程的学习方式分为"旁听"和"证书"两种类型,"证书"类课程根据在线学习者的个性化需求设立多种课程认证付费方式;管理上采取严密的教学管理机制,以保障在线教育质量。
简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。