組み込みﾆｭｰｽ2003.5.13

Synopsys,ｼﾐｭﾚｰﾀを組み込んで疑似ｴﾗｰ出力を回避したﾌﾟﾛﾊﾟﾃｨ検証ﾂｰﾙを発売

　米国Synopsys社は,false-negativeと呼ばれる疑似ｴﾗｰを出力しないﾌﾟﾛﾊﾟﾃｨ検証ﾂｰﾙ｢Magellan｣を発売する．ﾌﾟﾛﾊﾟﾃｨ検証ﾂｰﾙとは,設計ﾃﾞｰﾀが設計仕様(ﾌﾟﾛﾊﾟﾃｨ)と合致しているかどうかをﾁｪｯｸするﾂｰﾙである．また,false-negativeとは,実際には起こり得ない動作や事象に対してﾂｰﾙがｴﾗｰ･ﾚﾎﾟｰﾄを出力する状況を指す．実際の信号変化などを考慮せず,回路構造だけを静的に解析するﾀｲﾌﾟのﾂｰﾙでは,こうした疑似ｴﾗｰが多数出現する場合がある．本ﾂｰﾙには,同社の論理ｼﾐｭﾚｰﾀ｢VCS｣が組み込まれている．論理ｼﾐｭﾚｰﾀによって実際に起こり得る動作や事象を模擬しながらﾌﾟﾛﾊﾟﾃｨ検証を行っているため,疑似ｴﾗｰが発生しない．

　検証対象となる設計仕様としては,ﾕｰｻﾞ定義のﾌﾟﾛﾊﾟﾃｨのほか,回路構造から自動抽出したﾌﾟﾛﾊﾟﾃｨも利用できる．ﾌﾟﾛﾊﾟﾃｨの自動抽出によって検証できる項目としては,full_case/paralle_case合成ﾃﾞｨﾚｸﾃｨﾌﾞ,配列の範囲外参照,X値の伝播,ﾊﾞｽのｺﾝﾃﾝｼｮﾝ,ﾊﾞｽのﾌﾛｰﾃｨﾝｸﾞ,ﾚｼﾞｽﾀのﾄｸﾞﾙ,状態のﾃﾞｯﾄﾞﾛｯｸとﾗｲﾌﾞﾛｯｸなどがある．

　一般に,ﾌﾟﾛﾊﾟﾃｨ検証ﾂｰﾙには,状態数の多い設計ﾃﾞｰﾀを処理しようとすると,現実的な時間で解が得られないという問題がある．この問題を回避するため,Magellanではﾗﾝﾀﾞﾑ･ﾊﾟﾀｰﾝ入力とｱｻｰｼｮﾝを利用している．統計的な制約に従って生成したﾗﾝﾀﾞﾑ･ﾊﾟﾀｰﾝ(random stimulus)をｼﾐｭﾚｰﾀに入力し,前述のように実際に起こり得る動作だけを模擬する．ｱｻｰｼｮﾝの条件に影響を与えそうな状態(promissing state)に到達すると,そこで初めてﾌﾟﾛﾊﾟﾃｨ検証を実施する．ｱｻｰｼｮﾝに影響しない信号は固定とするため,ﾌﾟﾛﾊﾟﾃｨ検証時の探索空間は広くならない．ﾌﾟﾛﾊﾟﾃｨ検証が終了すると,ﾗﾝﾀﾞﾑ･ﾊﾟﾀｰﾝによってｱｻｰｼｮﾝの条件に影響を与えそうな次の状態を探索する．これを繰り返すことによって,より深い状態にひそむﾊﾞｸﾞを検出することができるという．

　なお,Magellanは,従来の静的解析のみによるﾌﾟﾛﾊﾟﾃｨ検証ﾂｰﾙと異なり,すべての状態を100%検証しているわけではない．ﾊﾞｸﾞを検出できるかどうかは,初期状態の与えかたに左右されるという．

　設計ﾃﾞｰﾀのﾌｫｰﾏｯﾄはVerilog HDLとVHDLに対応する．ﾕｰｻﾞ定義のﾌﾟﾛﾊﾟﾃｨはOpenVeraのｱｻｰｼｮﾝ表現で記述する．今後はSystemVerilogにも対応していく予定．現在,特定の顧客に限定して出荷を行っている．2003年第4四半期には,一般の顧客への出荷を開始する予定．

■価格
9,194,850円(1年間のﾗｲｾﾝｽ料)

■連絡先
日本ｼﾉﾌﾟｼｽ株式会社
TEL:03-5746-1780