NC-Verilogにおける実負荷シミュレーションのバッドノウハウ

NC Verilogを使ってSDFをアノテートしたシミュレーションをする時，アノテーションの手法は以下の2つがある．

1. Verilogテストベンチ中に$sdf_annotate("file", module)を使う
2. NC Verilog起動時に+sdf_file+<file>を引数で与える

これらの手法のうち，(1)で以下のワーニングが発生しうまくアノテーションできずはまった．

 ncelab: *W,sdfNET: failed Attempt to annotate to non-existent path...

しかし，同じファイルであっても(2)を試すとうまくいく．よくわからないが，(1)と(2)ではサポートしているSDFの構文が違うのだろうか．利用したのはncverilog 06.20-s004 (IUS62)である．

なお，(2)は+sdffile<file>と"+"なしでも正しくアノテーション可能である．

SDFをアノテーションすると当たり前だが各セル，配線遅延を想定したシミュレーションになる．従ってテストベンチのクロック周期を想定する回路のクロック周期に設定しないと当たり前だがタイミング違反になる．

Verilogシミュレーションにおいて，セットアップ違反はホールド違反として報告されることがある．早とちりせずに2つのタイミング違反の可能性について調査する必要がある．

何も考えずにシミュレーションをしていたところ，回路を100GHzでシミュレーションしてしまい結果ホールド違反(と思わせたセットアップ違反)がモリモリでてきて悩んでしまった．情けない．