Art
J-GLOBAL ID：200902047289762181   Reference number：91A0007911

Efficient implementation of a BDD package.

BDDパッケージの効果的インプリメント
Author (3)：
BRACE K S

About BRACE K S

(Dep. ECE Carnegie Mellon, PA)

About Dep. ECE Carnegie Mellon, PA

, 
RUDELL R L

About RUDELL R L

(Synopsys, Inc., CA)

About Synopsys, Inc., CA

, 
BRYANT R E

About BRYANT R E

(School of Computer Science Carnegie Mellon, PA)

About School of Computer Science Carnegie Mellon, PA


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

About Proceedings of the Design Automation Conference


Volume： 27th  Page： 40-45  Publication year： 1990 
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.
logical function

About logical function

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

About Logic algebra

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

About BDD

, 
パッケージ

About パッケージ

, 
インプリメント

About インプリメント


Return to Previous Page

TOP

BOTTOM