どのようにRTLでゲーティング対クロックネットリスト（電源コンパイラ）LECを行う

[hgby2209]

私はこの問題を修正するためのコマンドを発見した。
それは"モデルgated_clock平ら"に設定されます。

 

[Guest]

され
、 その結果は
、 動的なゲートレベルのシミュレーション
、 および静的な形式的なチェックの間で異なっているreasonal？ある程度のでは、iと思うと、回答する必要がありますはい。

 

[Guest]

[No message]

 

[horzonbluz]

私Verplex LECは
、 多くのアクセスを行うために使用している。私はあなたのネットリストを右に設定していないのかもしれない。あなたの設定をチェックし、私に渡すことができると思います。時計LECは影響しないゲーティング。

 

[hgby2209]

私verplex正式なチェックを行うLECを使用しています。
私はゲートになっておりDCによって合成されたクロックゲートレベルのネットリスト 電源コンパイラです。
渡されたしかし、RTLの対のゲートネットリストの形式を確認し、私がゲーティング、クロックネットリストは、正式なチェック以外に使用unmatchポイントしている。

誰でもどのようにRTLでLECのかを教えてことでした
。 ゲーティング対クロックネットリストverplex LECを使用して？？