文献

J-GLOBAL ID：201402293403018260   整理番号：14A0495415

より信頼できるアサーションベース検証について

On More Dependable Assertion-Based Verification

著者 (4件)： RADOJICIC Carna (Kaiserslautern Univ. Technol., Kaiserslautern) ,  MORENO Javier (Kaiserslautern Univ. Technol., Kaiserslautern) ,  PAN Xiao (Kaiserslautern Univ. Technol., Kaiserslautern) ,  GRIMM Christoph (Kaiserslautern Univ. Technol., Kaiserslautern)
資料名： Annual Conference of the IEEE Industrial Electronics Society  (Annual Conference of the IEEE Industrial Electronics Society)
巻： 39th Vol.10  ページ： 7742-7747  発行年： 2013年 
JST資料番号： H0475B  ISSN： 1553-572X  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： アナログ混合信号の複雑性の増大に対処するため,半記号的シミュレーションとアサーションを組合せ,シミュレーション回数を低減しながら高信頼性シミュレーション結果を与え,システムのロバスト性の自動検証を可能にする手法を提案した。この手法はアフィン算術に基づくアサーションを用いて記述した要求性能に対する出力挙動を半記号的にシミュレーションする。利得や部品定数が変化した場合のアナログ位相同期回路を解析し,システム挙動を検証した。

シソーラス用語： *検証 ,  記号処理 ,  シミュレーション ,  コミュニケーション ,  信頼性 ,  アフィン変換 ,  演算 ,  通信信号 ,  アナログ回路 ,  *位相同期ループ ,  VCO【発振器】 ,  信号解析 ,  回路解析
準シソーラス用語： アサーション ,  *システム検証 ,  高信頼性 ,  混合信号 ,  算術演算

分類 (1件)： 発振回路  (NC05020Y)

タイトルに関連する用語 (3件)： 信頼 ,  アサーション ,  検証