2006-12-13 「システム・モデルでHDLを検証」、MATLABがケイデンス社ツールと連携 EDA http://www.eetimes.jp/contents/200612/13513_2_20061212142943.cfm