>>79
漏れはハード屋だが、形式仕様記述なんかしてるハード屋は見たことないよ。
HDLは設計とシミュレーションのために使うもの。
まあ何をもって仕様と言うかにもよるけど、仕様記述を目的にHDLを使うハード屋はいないよ。