2014年6月1日-5日、カリフォルニア州サンフランシスコで開催された第51回Design Automation Conferenceの展示会レポート。

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

http://www.eda-express.com/2014/06/51dacreal-intentrtlascent-lint500m1.html