System Verilogアサーション・ハンドブック,SystemVerilog Assertions Handbook, 4th Edition: for Dynamic and Formal Verification,Amazon.co.jp: System Verilogアサーション・ハンドブック : Ben Cohen, 三橋 明城男: 本,VhdlCohen,SystemVerilogの基礎知識(検証編)【その2:関数rose・fell・stable】|TECHブログ | 株式会社PALTEK,