富士通九州ネットワーク,SystemVerilog検証に米Cadenceの手法を導入

 米Cadence Design Systems, Inc.は,同社の検証手法「Incisive Plan-to-Closure」を富士通九州ネットワークテクノロジーズが導入したと発表した。。富士通九州ネットワークテクノロジーズは,MPEGデコーダ・チップをSystemVerilogを使って検証する際に,同手法を使った。
http://techon.nikkeibp.co.jp/article/NEWS/20070530/133395/