Veritakでタイミング違反が消えないのはXC9500シリーズをターゲットにした場合だけでCoolrunner-IIの場合にはModelSim、Veritakどちらもまったく問題ない。

違いといえばModelSimは既にコンパイル済みのライブラリを使用しているのに対してVeritakはライブラリソースを毎回コンパイルしているという点ぐらいである。あとはシミュレーターの違いというしかない。

Coolrunner-IIのように高速でhold time仕様が大変短くてすむデバイスの場合は相当hold timeが短くて400psぐらいでも問題ないのかもしれない。

XC9500はISE 8.2iがサポートする一番低速なデバイスだけにかなりタイミング的には注意しないといけないのは確か。

たぶんCoolrunner-IIでは問題なく動くのだろう。似たようなヒゲは出ているけども。そもそもヒゲの原因は年月日時分秒のプリセットのためにかなり広範囲に渡ってnPRESET信号が配線されている関係で微妙なロジックハザードが発生するためと思われる。年月日時分秒のレジスタの入力ロジックツリーは大変大きい。実際nPRESETがHIGHになった以降はタイミング違反は起きない。

それにしても単純なバイナリカウンタであるcounter、dispcntでタイミング違反が起きるというのはやっぱりveritakのシミュレータに問題がある疑いはぬぐいきれない。