文献

J-GLOBAL ID：200902090178190823   整理番号：91A0891869

記号モデル検査における効果的な回路の表現

Representing Circuits More Efficiently in Symbolic Model Checking.

著者 (3件)： BURCH J R (Carnegie Mellon Univ.) ,  CLARKE E M (Carnegie Mellon Univ.) ,  LONG D E (Carnegie Mellon Univ.)
資料名： Proceedings of the Design Automation Conference  (Proceedings of the Design Automation Conference)
巻： 28th  ページ： 403-407  発行年： 1991年 
JST資料番号： D0553A  ISSN： 0738-100X  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 状態遷移グラフの表示に分割遷移を用いて,2進決定グラフ(BD...

シソーラス用語： ハードウェア試験 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=91A0891869&from=J-GLOBAL&jstjournalNo=D0553A") }}

分類 (1件)： ディジタル計算機ハードウェア一般  (JC04010C)

タイトルに関連する用語 (3件)： 記号 ,  モデル検査 ,  表現