Xcelium 2409 Hotfix 実行時に cds.lib に関してワーニングが出る

 Xcelium 2409 Hotfix を入れて ncverilog を起動したところ以下のようなワーニングが大量に出た．

% ncverilog (略)

(略)

DEFINE cds_assertions ./CDS_ASSERTIONS

|

xmsim: *W,DLCPTH (/cad/cadence/XCELIUM2409/tools/inca/files/cdsvhdl.lib,12): cds.lib Invalid path '/cad/cadence/XCELIUM2409/tools/inca/files/CDS_ASSERTIONS' (cds.lib command ignored).

cdsvhdl.lib を開いてみると，確かに記述は cds.lib っぽいのだが，ワーニングの元がよくわからない．ただファイルがないと文句言っているようだ．

調べてみると確かにファイルはないようだ．ちなみに Xcelium 2409 Base にもない．

% ls /cad/cadence/XCELIUM2409/**/CDS_ASSERTIONS/ 

zsh: no matches found: /cad/cadence/XCELIUM2409/**/CDS_ASSERTIONS/

では前のバージョンでは？と調べるとこちらはある．

% ls /cad/cadence/XCELIUM1909/**/CDS_ASSERTIONS/

/cad/cadence/XCELIUM1909/tools.lnx86/inca/files/CDS_ASSERTIONS/:

cds_assertion_stubs  xm.lnx86.068.pak  xm.lnx8664.068.pak

/cad/cadence/XCELIUM1909/tools.lnx86/inca/files/IEEE_pure/CDS_ASSERTIONS/:

cds_assertion_stubs  xm.lnx86.068.pak  xm.lnx8664.068.pak

もっとよく調べると，1909 には

/cad/cadence/XCELIUM1909/tools/inca/files/CDS_ASSERTIONS

/cad/cadence/XCELIUM1909/tools/inca/files/CDS_ASSERTIONS.src

があるのに，2409 は

/cad/cadence/XCELIUM1909/tools/inca/files/CDS_ASSERTIONS

しかない．ソースがコンパイルできていないということ？

しかたないので，src しかないものをすべて Xcelium 1909 からリンクすることに．

% cd /cad/cadence/XCELIUM1909/tools/inca/files/

% ln -s /cad/cadence/XCELIUM1909/tools/inca/files/CDS_ASSERTIONS

これを実行したら変なワーニングは出なくなったけれど，この対応でいいのかはわからない．