简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:物权法定原则是物权法上的重要原则,其基本内容是种类法定和内容法定。对物权法定原则有诸多讨论,包括在立法论上的物权法定主义和物权自由主义,以及解释论上的是否对物权法定予以缓和。本文所关注的,是物权法定框架下,可以通过登记公示意思自治内容的地役权制度是否是对物权法定原则的背离,以及其功能和作用。通过对罗马法上的历史的梳理、对大陆法系相关趋势和限制的考察、对普通法上各种役权及类似制度的简要对比,本文认为,地役权确实具有意思自治的特性,但是远达不到物权自由的效果,其仍在物权法定的框架下,而且最终的结果很可能是类型和内容的法定。地役权可以孕育新的权利类型,可以在维持用益物权框架稳定的同时,符合社会发展的需要。