Automation社がDAC2021に出展いつも格別のお引き立てを賜り、厚く御礼申し上げます。Conference)にブース番号#1516にて展示いたします。Automationは、設計サイクルの早い段階でタイミング制約を自動的に生成および検証することにより、チップ設計プロセスを改善するための独自のアプローチを提供します。チップの実装が進むにつれて設計上の制約を管理するためのソリューションも提供します。FishTailの製品を使用することで、設計者は、フォーマルに保証された完全な制約を使用してチップの実装を推進し管理できます。その結果、チップのタイミング、面積、電力が改善され、バックエンドのタイミングクロージャの繰り返しが少ないスケジュールが可能となります。FishTail製品を使用して誤ったタイミング例外に起因するシリコン障害のリスクを排除します。