2013-01-10 2013年にやりたいこと 雑記 2013年にやりたいこと ３点に絞って考えてみた。 プログラミング どれかしよう。 Vim Script Ruby Haskell Python BluespecSystemVerilog 設計＆検証手法へのトライアル 高位合成 UVM フォーマル 環境を改善する
