Verification Engineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 既に、 【Jasperの新製品「ActiveProp」は3種類のプロパティを自動生成 と Jasper，設計データとシミュレーション結果からSVA形式のアサーシ…