【ASP-DAC 2007】巨大なシステムを合成・検証する新技術をTutorialで聞いた

第12回アジア南太平洋設計自動化会議 (ASP-DAC 2007）が昨年と同じパシフィコ横浜で開幕した。初日の1月23日の半日チュートリアル「現実の組み込みシステム設計のための概念とツール」に参加した。本体のカンファレンス・セッションが明日24日から，併催イベントのEDS Fairが明後日の25日から始まることもあり，パシフィコ横浜周辺はまだ静かな雰囲気であった。しかし，このチュートリアルの会場では，終了が５分ほど遅れるほどの白熱した議論が続いた。