Verification Engineerの戯言 検証におけるオープンソースと言えば、なんといっても SystemC : http://www.systemc.org です。その他には、 ・Testbuilder ・Jeda などがありましたが、既にサイトが無くなっていたり、メンテナンスされていない状態です。 最…