【DACレポート】今年のベストペーパーは、フォーマル検証関連とパワーグリッド設計関連

第43回DACのベストペーパー・アワードは、フロントエンド部門がフォーマル検証関連、バックエンド部門がパワーグリッド設計関連の論文がそれぞれ受賞した。

DAC発表資料：http://www.dac.com/43rd/PDFs/bpawards.pdf（英文）

■Front-End Design Award 受賞論文
「SAT Sweeping with Local Observability Dont-Cares」
　Qi Zhu、Nathan B. Kitchen（UC Berkeley)
　Andreas Kuehlmann（Cadence Berkeley Lab）
　Alberto Sangiovanni-Vincentelli（UC Berkeley)

■Back-End Design Award 受賞論文
「Power Grid Physics and Implications for CAD」
　Eli Chiprout（Intel Strategic CAD Labs）
　Sanjay Pant（University of Michigan）

上記論文内容は、下記DAC公式サイトの中で公開されている。
　http://www.dac.com/43rd