●【DAC 2005】順序回路向けフォーマル・ベリファイア米Calyptoが発表

　米Calypto Design Systems, Inc.は，米国アナハイムで開催中の42nd Design Automation Conference（DAC 2005）で，順序回路の等価性チェック向けフォーマル・ベリファイア「SLEC」および，SLECと米Mentor Graphics Corp.のC++入力の動作合成ツール「Catapult C Synthesis」との連携フローなどを展示した。
http://techon.nikkeibp.co.jp/article/NEWS/20050616/105858/