フォーマル検証ツールの老舗ベンダーの1社である米Jasper Design Automation社に、50th Design Automation Conference(DAC 2013)の展示会場で話を聞いた。同社の創業は1999年(2003年に現社名に改称)だが、最近、業績が急速に良くなってきたという。

ここからは会員の登録が必要です。