基于断言的March算法MBIST控制器功能验证

本论文工作提出了一种数字设计RTL表示的基于断言的功能验证。该MBIST控制器基于一种存储器测试March算法设计。此March算法是对March C算法稍作修改的版本，通过加入一个暂停元素来测试存储器数据保持故障。在基于断言的功能验证(ABV)中，完成了针对MBIST控制器RTL模型的验证计划制定，以及使用System-Verilog和Synopsys-VCS对验证计划进行实现与仿真。在ABV中，验证计划包括MBIST控制器设计与功能规范、功能覆盖率目标、代码覆盖率目标和断言。断言用于检查MBIST控制器RTL模型中的错误并提供功能覆盖率。功能覆盖率度量用于跟踪验证的级别或质量。大多数功能度量得分约达到验证计划中制定的100%目标。所设计的MBIST控制器针对预期特性进行了验证。ABV方法通过发现缺陷、执行设计中的corner cases以及在小型设计中使用定向测试用例，使验证和设计过程高效且耗时更少。ABV有助于编写定向且高效的测试用例(25个)，相比所设计MBIST控制器使用最多可能随机测试用例(88个)约减少32%，且达到100%断言覆盖率和近似相等的总功能覆盖率(即约97%)。以此方式，ABV有助于加快设计和验证过程，并在MBIST控制器集成至MBIST架构后提供更好质量和正确功能的保证。