Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications

DOI10.1137/0221049MaRDI QIDQ4015970zbMATH OpenOpenAlexFDO

Authors Lin Yu, Daniel J. Rosenkrantz

Publication date 6 December 1992

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0221049

zbMATH Keywords

conditional expansionconfiguration controlhierarchical modulesmodule alternatives

Mathematics Subject Classification ID

Database theory (68P15) Analysis of algorithms and problem complexity (68Q25) Combinatorics in computer science (68R05)

Recommendations

• Clustering a DAG for CAD databases
• A framework for efficient IC/VLSI CAD databases
• A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)
• Ordered binary design graphs and their signification in computer aided design of high-integrated circuits
• Computer-aided design and programming

Cited in

(1)

• Clustering a DAG for CAD databases

This page was built for publication: Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications

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