| Booth : #186 |
|
| FishTailブースでは、下記の最新テクノロジを中心に最新フローをご紹介いたします。 |
| |
- Multi-Mode Constraint Merging - Formal MCP verification - Constraint Generation |
|
| ブース展示・デモスイートの他にUser TrackとExhibitor Forumにて下記の発表を行います。 |
|
| User Track : Intel社 事例発表 |
| |
Formal Verification of Multicycle Overrides on a Graphics Chip, Chunduri Mohan, Intel - Wednesday, 6/16 at 10 AM in Room 208AB |
|
| EXHIBITOR FORUM:ベンダ・プレゼンテーション |
| |
(1) |
Formal Verification of Multi-Cycle Paths on SoCs |
| |
|
(MCP設定ミスを検出によるSign-Off検証フローのご紹介) |
| |
|
Ajay Daga, FishTail - Monday 6/14 at 3:20 PM in Booth 1562 |
|
| |
(2) |
Design Flow Innovations, Cutting Place and Route Runtime in Half by Automatically Merging Multi-Mode Constraint Files, |
| |
|
(自動生成されたマルチモードSDCでP&R時間を50%削減) |
| |
|
Ajay Daga, FishTail - Wednesday 6/16 at 2:20 PM in Booth 1532 |
|
| FishTail社のスイート予約は のメールアドレスまで直接お申し込みください。 |