文献

J-GLOBAL ID：201802210518347884   整理番号：18A0197427

安定事象を用いた回路のモデル化と検証【Powered by NICT】

Modeling and Verification of Circuit with Stable-Event

著者 (3件)： Jia Tingting ,  Li Caihong ,  He Anping
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CyberC  ページ： 471-475  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 近年,状態ベースの方法は,形式的検証に採用された一般的であった。しかし,イベント構造は回路やシステムの挙動を記述するときに有限状態機械よりもより直接的で自然採用しなかった。本論文では,回路を正確に記述するために,短いにおけるEBES,モデル拡張バンドル事象構造を備えている場合には,安定した事象を提案した。四作用が得られる信号遷移波形から,そのうちの二種は安定した信号を表現するために用いる,安定まで安定であった。安定事象が発生した安定動作を示した。原始的論理ゲートのEBESは良くて報告した後,複雑な論理セルのEBESは組成方法で建設される。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *モデリング ,  有限状態機械
準シソーラス用語： 論理ゲート ,  形式的検証 , 【Automatic Indexing@JST】

分類 (2件)： オートマトン理論  (JB04000O) ,  CAD,CAM  (JE10000A)

タイトルに関連する用語 (3件)： 事象 ,  モデル化 ,  検証