@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 備忘録として、 ARMからSystemVerilog Assertions (SVAs)がダウンロードできる模様。 ・AMBA 3 AXI System Verilog Assertions (SVAs) ・AMBA 4 AXI4, A…