カミは死んだ

Paper Is Dead ... osz

2015-02-01から1ヶ月間の記事一覧

SVA - SystemVerilog Assertion 概要?

はじめに このエントリは結構前に書いたのですが内容が中途半端で意味不明だったので保留していたものです。が、ネタが無いので公開しておきます... 今更ですがSystemVerilogのスタディをコツコツはじめました。今回は、みんな大好きSVA(SystemVerilogAsser…