Verification Engineerの戯言
Verilab社(http://www.verilab.com)では、いろいろなプレゼンテーション資料をダウンロードできるようにしている。
http://www.verilab.com/download.htm
EDAベンダ(Cadence/Synopsys/Mentor等)のユーザーミーティングでの資料が結構あります。
Synopsysでは、Veraを利用した検証について、
Cadence では、eVC を利用した検証について、
最近のプレゼンテーション資料では、SystemVerilog Assertionに関するものが多いです。
また、「AOP:Aspect-oriented Programming」を検証に利用する/したという資料もあります。
