简介:今年43岁的任海,1981年从北京体育学院研究生部毕业留校任教,1984年1月公派赴加拿大留学,1988年11月在阿尔伯达大学获博士学位,当年即回国。现任北京体育学院副教授、硕士研究生导师。回国后的任海在教授体育概论、群众体育学的同时,又率先开设了比较体育、奥林匹克运动两门新课程。1988年以来,他将现代奥林匹克运动作为一个重要研究内容,针对现代奥运会所面临的问题展开了一项涉及13个国家和地区体育专业人员的国际性社会调查,完成了“对困扰现代奥运会的几个问题的探讨”和“现代奥运会的运行机制”等课题的研究。他主编了我国第一部《奥林匹克运动》教材,国际奥委会主席萨马兰奇为该书作序并出席
简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。