(ユーザーが変更する必要なし)。ステータスが消去されても一部のフラグが正しくアップデートされず、チャネルの後のパケット書き込みが行われない問題を修正。レベルが間違いになる問題を修正。(ユーザーが変更する必要なし)。制約が生成されるように、自動制約生成へすべてのクロックを移動。(ユーザーが変更する必要なし)。制約が生成されるように、自動制約生成へすべてのクロックを移動。つのファイルにまとめて合成およびシミュレーションを高速化。ユーザーが変更する必要なし。デバイスのサポートを追加。デバイスのサポートを追加。