Metropolis
カリフォルニア大学/バークレー校で作られたソフトウェア。
ハードウェアの形式仕様記述/検証用のツールみたい。
Eclipse用のプラグインもある。
http://www.gigascale.org/metropolis/index.html
ハードウェアの形式仕様記述/検証用のツールみたい。
Eclipse用のプラグインもある。
http://www.gigascale.org/metropolis/index.html
2006年04月12日(水) 19:08:40 Modified by red_out