2009-06-01から1日間の記事一覧
メモ SPINのこと モデル検査器 SPINのGUI版をXspinのセットアップするその前にTCLをインストール GUIバージョンのために必要。 http://www.activestate.com/Products/ActiveTcl/GccがほしいのでCYGWINもインストール http://www.cygwin.com/ develに入ってい…
メモ SPINのこと モデル検査器 SPINのGUI版をXspinのセットアップするその前にTCLをインストール GUIバージョンのために必要。 http://www.activestate.com/Products/ActiveTcl/GccがほしいのでCYGWINもインストール http://www.cygwin.com/ develに入ってい…