scientific article; zbMATH DE number 910723

MaRDI QIDQ4885881zbMATH OpenFDO

Authors Shin-Ichi Minato

Publication date 15 October 1996

zbMATH Keywords

BDDBoolean functionsVLSI CAD

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Graph theory (including graph drawing) in computer science (68R10) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Applications of graph theory to circuits and networks (94C15)

Recommendations

• BDDs -- design, analysis, complexity, and applications.
• Binary decision diagrams
• Binary decision diagrams
• Graph driven BDDs -- a new data structure for Boolean functions

Cited in

(6)

• scientific article; zbMATH DE number 1216154 (Why is no real title available?)
• Suggestion for a new representation for binary function
• scientific article; zbMATH DE number 1796128 (Why is no real title available?)
• A computational model for generic graph functions
• A functional approach to the representation of graphs
• A novel graphical technique for combinational logic representation and optimization

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885881)