Real IntentのブースではDAC開催前にアナウンスしたバージョンアップしたてのRTLリントツール「Ascent Lint」をはじめ、CDC検証ツール「Meridian」、RTL早期バグ発見用のフォーマル検証ツール「Ascent IIV」、「Ascent XV」と一連のフォーマル検証ソリューシ…