「生産性が4倍向上」、20億ゲートの回路を3MHzでエミュレーション可能に（関連情報）：Mentor Veloce2