時間記号シミュレーションについて

• Item type: SIG Technical Reports(1)
• 公開日: 1987-12-17
• タイトル: 時間記号シミュレーションについて
• タイトル / 言語: en
• タイトル: On Time - Symbolic Simulation
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 京都大学工学部
• 著者所属: 京都大学工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kyoto University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kyoto University
• 著者名: 石浦, 菜岐佐; 矢島, 脩三
• 著者名(英): Nagisa, Ishiura; Shuzo, Yajima
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 論理回路のタイミング検証の一手法として、時間記号シミュレーションを新たに提案する。従来の記号シミュレーションが信号値を論理式として扱うのに対し、時間記号シミュレーションは時刻を代数式として扱う。即ち、ゲート遅延や入力の与えられる時刻を変数で表現することによって、その値のばらつきをモデル化し、シミュレーション時刻をこの変数を含む式のままで扱うことにより、精密なタイミング解析を行おうとするものである。本稿では、時間記号シミュレーションのアルゴリズム、時刻を表す式の大小比較や簡単化の手法、及びハザード検出や非同期順序回路の検証への応用について述べる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: As a new approach for timing verification of logic circuits, we propose a time-symbolic simulation. While the conventional symbolic simulator treats signal values as logical expressions, the time-symbolic simulator treats time as algebraic expressions. In this article, we describe algorithms for time-symbolic simulation, techniques for comparison and reduction of algebraic expressions representing simulation time, and its application to the hazard detection and the verification of asynchronous sequential circuits.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 情報処理学会研究報告システムLSI設計技術（SLDM）; 巻 1987, 号 90(1987-SLDM-040), p. 103-109, 発行日 1987-12-17
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会