PR

 イスラエルVerisity Ltd.は,同社のRTL検証環境「Specman Elite」を米Texas Instruments, Inc.が購入したと発表した。Specman Eliteは,論理シミュレータのヘルパ・ソフトウエアとして働く。設計データからテスト・パターンを作成する機能,データ・時相のチェック機能,機能単位のカバレッジか解析機能からなる。TI社は同社のASIC事業向けEDAシステムに,Specman Eliteを組み込む。リリース文には,TI社のJohn Van Tassel氏(Manager for SLI verification)がコメントを寄せている。