2011-01-11 等価性チェックのCalyptoが「SLEC」をバージョンアップ-ランタイムが6倍高速に EDA関連ニュース http://www.eda-express.com/2011/01/calyptoslec-6.html