●「アサーションを設計者が書かなくともOK」，TIのフォーマル・ベリファイア活用術を日本TIが披露

　日本テキサスインスツルメンツは，同社を含む米Texas Instruments Incorporated
の世界拠の設計拠点における，プロパティ・チェック型フォーマル・ベリファイアの
活用術について発表した。この発表は，日本ケイデンス・デザイン・システムズが都
内で7月17〜18日に催した「DA SHOW/CDNLive! Japan 2008」で行なわれた。
→ http://techon.nikkeibp.co.jp/article/NEWS/20080723/155201/