たくさんあるんだよ、ABVの記事って

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

ケイデンスのブログ：
Verification Goldmine: 50 User Papers on Formal, Multi-Engine, and Assertion-Based Verification (ABV)
では、ABVに関する論文(プレゼン資料)を50も、紹介しています。
すべてではありませんが、資料のURLも掲載されています。

まとめるのって結構手間がかかるんですよね。経験者ですから、
(まずい、また、A子さんがいけないことを考えてしまいます)

ABVについて、知りたい人、深く知りたい人、是非、チェックしてみてください。

検証、Verification、Assertion