文献

J-GLOBAL ID：201702289193652169   整理番号：17A1635432

招待:analog/mixed信号システムの設計のための形式的方法の進歩【Powered by NICT】

Invited: Advances in formal methods for the design of analog/mixed-signal systems

著者 (5件)： Dubikhin Vladimir (Newcastle University, Newcastle upon Tyne, UK) ,  Myers Chris (University of Utah, Salt Lake City, USA) ,  Sokolov Danil (Newcastle University, Newcastle upon Tyne, UK) ,  Syranidis Ioannis (Cadence Design Systems, Munich, Germany) ,  Yakovlev Alex (Newcastle University, Newcastle upon Tyne, UK)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DAC  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Analog/mixed信号(AMS)システムは,情報通信技術のすべての領域で急速に拡大した。大規模高性能ディジタルシステムのためのサポートの重要な一部であり,中規模に埋め込まれ,移動システムにおける重要な機能を提供し,センサノードのような自律エレクトロニクスのコア器官として作用する。アナログおよびディジタル部品が密接に相互混合,より全体的に要求されるAMS設計方法とツール。特に,内部またはアナログ回路付近の「ほとんどディジタル」エレクトロニクスの出現は,非同期論理の使用の増加が必要である。AMS設計の増大する複雑さに対処するために,形式的手法は,従来のシミュレーション手法を補完するために必要である。アナログ/非同期協調設計法の開発を可能にするAMS形式的検証と非同期設計の最先端技術の概要を紹介した。一つのそのような共同設計方法を著者らが現在開発中のLEMA作業技術ワークフローにより例示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *信号方式 ,  高速度 ,  シミュレーション ,  アナログ系 ,  移送装置 ,  ディジタル方式 ,  アナログ回路 ,  ワークフロー ,  電子技術 ,  ディジタル系
準シソーラス用語： 共同設計 ,  形式的検証 ,  コデザイン ,  設計法 ,  情報通信技術 , 【Automatic Indexing@JST】

分類 (3件)： 半導体集積回路  (NC03162T) ,  論理回路  (NC05070B) ,  集積回路一般  (NC03161C)

タイトルに関連する用語 (3件)： 信号システム ,  設計 ,  形式的方法