scientific article; zbMATH DE number 1156875

MaRDI QIDQ4390872zbMATH OpenFDO

Authors Christoph Meinel, Thorsten Theobald

Publication date 26 May 1998

zbMATH Keywords

CADcomputer-aided designhighly integrated circuitsVLSI

Mathematics Subject Classification ID

Computer system organization (68M99) Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)

Recommendations

• Ordered binary design graphs and their signification in computer aided design of high-integrated circuits
• Algorithms and data structures in VLSI design. Transl. from the German
• scientific article; zbMATH DE number 846270
• Data structures for Boolean functions. BDDs -- foundations and applications.

Cited in

(5)

• Ordered binary design graphs and their signification in computer aided design of high-integrated circuits
• On the composition problem for OBDDs with multiple variable orders
• Algorithms and data structures in VLSI design. Transl. from the German
• A reordering operation for an ordered binary decision diagram and an extended framework for combinatorics of graphs
• scientific article; zbMATH DE number 846270 (Why is no real title available?)

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 Q4390872)