2011-06-04 Calypto、シーケンシャル等価性検証の「SLEC」ファミリ製品をバージョンアップ EDA関連ニュース http://www.eda-express.com/2011/06/calyptoslec.html