基于断言的验证技术（Mentor Graphics）

伴随着FPGA与ASIC设计，特别是SoC出现后，设计复杂度的不断增加，功能验证在整个产品开发周期内占据了相当显著的比重。相对于传统的验证手段，基于断言的验证技术（ABV）的应用帮助设计团队在更短的时间内找到设计中存在的功能缺陷。因而，ABV迅速地获得业界的一致认可，并将其作为验证流程中的关键与必要手段。利用MentorGraphics的专业化的工具，并借助其工程化的方法学基础，帮助设计与验证团队成功地应用ABV技术，并迅速以更高的设计质量达到验证收敛。