DesignCompilerでDFFが見つからない(Target library contains no replacement for register)

DesignCompilerで論理合成したら以下のようなWarningが出た．

Warning: Target library contains no replacement for register 'PRODUCT_INST_reg[9]' (**FFGEN**). (TRANS-4)

これはライブラリに対応するDFFが存在しない時に出力されるエラー．例えば今回のライブラリは普通のDFFしか存在しないが，RTL記述に非同期リセット付きDFFを必要とする記述を書いてしまうとDCは論理合成ができないのでDCの持つ理想FF(FFGEN)を使って論理合成を行う．理想FFは物理的に存在しないので配置配線はできない．

読み込むLibraryの生成に失敗しているか，Libraryの持たないセルによる挙動なのか切り分ける必要がある(非同期Set-Reset付きDFFやトライステートインバータなど)．

Libraryのチェックは以下のコマンドで行える．

check_library -logic_library_name logic_library.db