文献

J-GLOBAL ID：201702243194646276   整理番号：17A0858540

特徴精度に及ぼす形式的保証を伴う生成AMS行動モデル【Powered by NICT】

Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy

著者 (2件)： Costa Antonio Anastasio Bruto Da ,  Dasgupta Pallab
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： VLSID  ページ： 233-238  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： AMS成分の行動モデル(BMOD)は,設計検証で広く使用されているが,モデルを調製するのに重大な挑戦は,特徴精度を確保し,すなわち集積回路の文脈に関連する特性をモデルで正確に表現した。VerilogAMSまたはSPICEで開発されたモデルは形式的特徴解析のための可能ではない,特徴は,すべてのモデル実行下で保存されているかどうかを検証するために重要である。選択した回路ファミリーの形式モデル骨格からAMS BMODsの自動合成のための方法論を提案し,著者らの形式的特徴解析ツール,ForFETを用いた特徴正確であることが証明された。従って,提案アプローチにより合成したVerilogAMS BMODs建設による特徴正確であることが証明される,そのような保証なしに手動で生成したVerilog-AMSモデルとは対照的である。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *集積回路
準シソーラス用語： Verilog ,  解析ツール ,  設計検証 , 【Automatic Indexing@JST】

分類 (3件)： 半導体集積回路  (NC03162T) ,  集積回路一般  (NC03161C) ,  トランジスタ  (NC03070N)

タイトルに関連する用語 (3件)： 保証 ,  AMS ,  行動モデル