Art
J-GLOBAL ID：200902090178190823   Reference number：91A0891869

Representing Circuits More Efficiently in Symbolic Model Checking.

記号モデル検査における効果的な回路の表現
Author (3)：
BURCH J R

About BURCH J R

(Carnegie Mellon Univ.)

About Carnegie Mellon Univ.

, 
CLARKE E M

About CLARKE E M

(Carnegie Mellon Univ.)

About Carnegie Mellon Univ.

, 
LONG D E

About LONG D E

(Carnegie Mellon Univ.)

About Carnegie Mellon Univ.


Material：
Proceedings of the Design Automation Conference  (Proc Des Autom Conf)

About Proceedings of the Design Automation Conference


Volume： 28th  Page： 403-407  Publication year： 1991 
JST Material Number： D0553A  ISSN： 0738-100X  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
hardware testing

About hardware testing

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=91A0891869&from=J-GLOBAL&jstjournalNo=D0553A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Digital computer hardwares in general 
(JC04010C)

About Digital computer hardwares in general

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
記号

About 記号

, 
モデル検査

About モデル検査

, 
表現

About 表現


Return to Previous Page

TOP

BOTTOM