技術レター［ＬＳＩ設計＆ＬＳＩ製造］〜米Ｓｙｎｏｐｓｙｓ　検証用言語「ＯｐｅｎＶｅｒａ」に　フォーマル検証向け記述を統合
日経マイクロデバイス　第203号　2002.5.1

この記事の情報
掲載誌	日経マイクロデバイス　第203号（2002.5.1）
ページ数	1ページ　（全347字）
形式	PDFファイル形式　（64kb）
雑誌掲載位置	33ページ目

機能検証検証言語システムＬＳＩ　米Ｓｙｎｏｐｓｙｓ，Ｉｎｃ．は，検証用言語「ＯｐｅｎＶｅｒａ２．０」を開発した。米Ｉｎｔｅｌ　Ｃｏｒｐ．が提唱するフォーマル検証用言語「ＦｏｒＳｐｅｃ」に基づく記述表現機能を追加した。ＬＳＩの機能検証では動的シミュレーションとフォーマル検証の両方が求められている。これまでのＯｐｅｎＶｅｒａは動的シミュレーションにおける仕様を記述する機能を持っていたが，今回はフォーマ…