简介:转化向来有两种途径:人性化、物性化,本文在此之外,提出新的转化途径:神/魔性化,且分为“具体”“抽象”两小类,加以探讨。总结出以下成果:其一,在具体者中,本体多为“人”,在抽象者中,本体也多是人之思想情感,或是人所制作之事物。其二,在“神/魔性化”中,常用“名词法”“动词法”“形容词法”“副词法”“综合用法”等方法。其三,在“名词”法中,为了更精确地表现出特质,常采用两种方法,一是前面加上定语,二是采用特定神/魔。其四,“神性化”“魔性化”之后,转体所具备的特色,并非必然是正面或负面的。其五,神/魔的数量颇众,但是会被选中成为转体者,只占少数。其六,“神性化”“魔性化”已经成为社会现象,甚至有“造神运动”“妖魔化”的说法。其七,人转成神、魔,从效果来说,是强力地凸显了某些特性,但是,如果无限制地发展,反而不能从“人”的角度去根本地反映事实,而且往往不能冷静地思考、反省,从而陷入蒙蔽或野蛮的恶境。
简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。