文献

J-GLOBAL ID：201702257952447871   整理番号：17A1485009

アナログ回路の準形式的検証のための限界最適化の利用【Powered by NICT】

Exploiting bounds optimization for the semi-formal verification of analog circuits

著者 (4件)： Lahiouel Ons (Dept. of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada) ,  Aridhi Henda (Dept. of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada) ,  Zaki Mohamed H. (Dept. of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada) ,  Tahar Sofiene (Dept. of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada)
資料名： Integration. the VLSI Journal  (Integration. the VLSI Journal)
巻： 59  ページ： 135-147  発行年： 2017年 
JST資料番号： H0891A  ISSN： 0167-9260  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 多変量最適化手法を用いたアナログ回路行動特性のモデル化と検証のための準形式的手法を提案した。アナログ回路微分モデルは自動的に抽出し,その定性的挙動は,区間値パラメータ,入力と初期条件に対して計算した。法はアナログ回路の任意の可能な動的挙動の粗いエンクロージャを保証する利点を有している。回路行動特性を発生した過渡応答限界で検証した。実験結果は,得られた状態変数包絡線は,アナログ回路特性の検証に用い,許容できる実行時間で効果的にできることを示した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *最適化 ,  状態変数 ,  モデリング ,  最適化手法 ,  エンベロープ ,  微分 ,  *アナログ回路 ,  モデル ,  過渡応答 ,  初期条件
準シソーラス用語： 実行時間 ,  エンクロージャ ,  動的挙動 ,  行動特性 ,  *形式的検証 , 【Automatic Indexing@JST】

著者キーワード (4件)： アナログ回路 ,  大域的最適化 ,  検証 ,  定性的シミュレーション

分類 (2件)： 半導体集積回路  (NC03162T) ,  集積回路一般  (NC03161C)

タイトルに関連する用語 (4件)： アナログ回路 ,  形式的検証 ,  限界 ,  最適化