この中には、EDA関連として、
・Verilog HDLに対応するCSV-Verilog Maker II ・SystemCに対応するCSV-SystemC Maker ・テストベンチ生成用のCSV-Compier IIなんてものもあります。
いかがでしょうか？
検証、Verification
