Renesas

●「安心できる検証を」，ルネサスが順序回路向け等価性検証ツール
　LSIのRTL設計の終盤ではタイミング調整が必要になることが頻繁にある。迫る締め切りを前に，設計者は大胆な変更には二の足を踏む。その大きな原因が設計前後の回路の論理機能等価性を検証する有効な手段がなかったことである。
→ http://techon.nikkeibp.co.jp/article/NEWS/20051011/109507/