Vengineerの妄想(準備期間)

人生は短いけど、長いです。人生を楽しみましょう!

ARMのSystemVerilog Assertion


備忘録として、


   ・AMBA 3 AXI System Verilog Assertions (SVAs)
   ・AMBA 4 AXI4, AXI4-Lite and AXI4-Stream System Verilog Assertions (SVAs)

ユーザー登録は必要ですが。。。