MAX+PLUS II Advanced Synthesisプロジェクトからコンバートすると.gsfファイルに

set_global_assignment -name TDO_DUMP_FILE AUTO

が混入してinternal errorを起こすのはバグらしく次のバージョンで修正するとのこと。

あと、calendar.vをコンパイルするとなんの変哲もない7seg ledデコード関数

引用：

で4'd0,4'd1以外のケースで以下の気持ち悪いWarningが出る件

Warning (10199): Verilog HDL Case Statement warning at calendar.v(41): case item expression is ignored because it never applies

これもどうやら、この関数を呼び出している式で関数の入力に以下のように一部定数ビット(1'b0とか）が指定されているものがあると、

引用：

当該ビットが1のケースについては評価されない可能性（0固定のため1になることは無いと？）があるため4'd2以上の値にはWarningを表示しているとか。もちろんこれは不適切で、実際にはすべて正しく評価されるように論理合成されているので適切ではないので次のバージョンで直すとのこと。

スピーディで正確かつ誠意ある対応で好感がもてました。