今年の「EDA Tech Forum」で割と大きな比重を占めていたのは、各種「機能検証」関連のセッションで、メンター主力の「Calibre」関連に次ぐ計5種類のセッションが行われた。その中の一つ、「Verification Strategy」と題されたセッションでは、アサーションベ…