支持模块级验证测试。
基于模块级验证的环境,设计了一种活芯BIOS结构,建立了“龙腾s2”的软件验证平台。
Devise a flexible BIOS structure to build "Longtuim S2" software validation platform with the help of the environment for the module level verification.
采用域覆盖率衡量模块级验证工作的充分型,结果表明这种覆盖率相对于行覆盖率和路径覆盖率更能准确衡量验证工作的充分性和发现验证漏洞;
Domain method is adopted to measure block level verification quality, domain coverage metrics can find more verification holes, compared with line and path coverage metrics.
应用推荐