Aldec ： Covearage Database

Verification Engineerの戯言 : SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

Aldecシリーズの第4弾は、Coverage Databaseについてです。

AldecのCoverage用データベース(ACDB:Aldec Coverage DataBase)。
このデータベースのフォーマットは、Accellera UCISに準拠しているようです。
Accellera UCISは、MentorがAccelleraにdonationしたものです。

ACDBには、

    ·  Code Coverage (Statement/Branch Coverage)
    ·  Assertion Coverage
    ·  SystemVerilog Covergroup Coverage

のカバレッジデータをストアしているようです。

UCISはC APIも用意しているので、ちょっとしたツールでカバレッジ解析もできると思います。
C APIよりPythonやRubyのAPIの方がちょっとしたツールを作るとき便利だと思うのだが、
そこまでいっていないか？

また、ACDB <=> XML 変換ツール(acbd2xml, xml2acbd)もあります。
XMLファイルは、Accellera UCIS proposed XML scheme になる模様。

ドキュメントは、documentation/pdf/acdbapiref.pdf ACDB API Reference　のようです。

検証、Verification、Aldec、SystemVerilog