プレスリリース：http://www.eda-express.com/edalibrary/files/1226355461.pdfカリプトの発表によると、シーケンシャル等価性検証ツール「SLEC」の最新版では、ワイヤレスの世界で広く使われている固定小数点型のデータタイプと、画像処理で広く使われてい…