Using Formal Coverage Analyzer for Code Coverage Improvement

 
Tatarnikov Y.A. (Cisco Systems Inc.)
 
Abstract - This presentation summarizes the results of using the tool grounded on formal proof technics (in this case the tool is Synopsys Formal Coverage Analyzer (FCA)) to improve code coverage for two design Blocks. The goal is to find unreachable coverage constructs (UNRs) in the target design Blocks and remove them from the list of uncovered constructs. The removal of UNRs saves the Designers and Verification Engineers the time needed to achieve high level of code coverage. FCA became part of the design and verification methodology within our organization following its successful evaluation.

Keywords - Design Verification, Formal Verification, SystemVerilog, SVA.

Использование формального метода для улучшения покрытия проекта оцениваемого с помощью метрики «code coverage»

 
Татарников Ю.А. (Сиско Системс Инк., г. Сан Хосе)
 
Аннотация - Данная презентация представляет результаты использования ППП «Формальный Анализатор» компании Синопсис. ППП основан на методах формальных доказательств.Определяются конструкции дизайна, представленного на регистровом уровне, которые не могут быть обнаружены любым тестом. Исключение этих конструкций улучшает показатели тестового покрытия дизайна. Анализ – составная часть технологии разработки логического дизайна СБИС

Ключевые слова - СБИС, формальная верификация, моделирование, RTL, SystemVerilog, SVA.