澤口@一升金です。 廣田 正孝さんの<3ED415B7.50182779@xxxxxxxxxxxxx>から >「ハードウェア記述は時間軸が問題なのに、Cでは時間軸に関する記述が不十分 >だし、ソフト屋さんも時間軸を理解していない。そこがこの手のツールの大きな >問題だ。」とのことでした。 C言語は成り立ちからして言語仕様には時間軸を含みませんから、 不十分にしかなり得ないかも知れません。 Modula-2 とか OCCAM とか言語仕様で時間軸を記述できるものも ありますが、今度は技術者がいないときたもんだ。