以下のRoom BのSystem Realizationを聴講する予定です。
11:15-11:50 B-1
ケイデンスが提供するHW/SW協調開発プラットフォームと効果的なアクセラレーション手法
13:00-13:35 B-2
世界最速 京速コンピュータ「京」のインタコネクトチップ検証
13:45-14:20 B-3
高位合成ツール（CtoS）の導入試行から得られた設計メソドロジとは?
14:30-15:05 B-4
フォーマル検証によるバスブリッジ回路の転送データ整合性チェック
その後は、Beer StationまでOpen Demoでもブラつきます。ナカマ、募集します。
検証、Verification、Cadence
