Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087236465> ?p ?o ?g. }
- W2087236465 abstract "In many CAD systems for VLSI design the specification of a layout is internally represented by a set of geometric constraints that take the form of linear inequalities between pairs of layout components. Some of the constraints may be explicitly stated by the circuit designer. Others are internally generated by the CAD system, using the design rules of the fabrication process. Layout compaction is then equivalent to finding a minimum area layout satisfying all constraints. We discuss the complexity of the constraint resolution problem arising in this context. Hereby we allow circuits to be specified hierarchically. The complexity of the constraint resolution is then measured in terms of the length of the hierarchical specification. We show the following results: 1. It is decidable in polynomial (cubic) time whether a given hierarchical layout specification yields a consistent set of geometric constraints. The size of minimum area layouts satisfying the constraints can also be determined in cubic time. 2. For every layout specification that is consistent a hierarchical description L of a minimum area layout can be computed in polynomial time in the length of L. 3. There is a consistent layout specification with the following property: No layout satisfying the constraints is concise, i.e., every hierarchical layout description consistent with the specification has a length which grows exponentially in the length of the specification. 4. We define a subclass of so-called well-formed layout specifications. Each well-formed specification has a concise layout, which can be hierarchically described in linear space. Such a layout can be found in polynomial time. However, it is in general not a minimum area layout. Indeed, there is a consistent well-formed specification all of whose minimum area layouts are inconcise,.i.e., need exponential space to be described." @default.
- W2087236465 created "2016-06-24" @default.
- W2087236465 creator A5023556977 @default.
- W2087236465 date "1982-11-01" @default.
- W2087236465 modified "2023-09-23" @default.
- W2087236465 title "The complexity of compacting hierarchically specified layouts of integrated circuits" @default.
- W2087236465 cites W138097560 @default.
- W2087236465 cites W2000828740 @default.
- W2087236465 cites W2048524229 @default.
- W2087236465 cites W2092480746 @default.
- W2087236465 doi "https://doi.org/10.1109/sfcs.1982.92" @default.
- W2087236465 hasPublicationYear "1982" @default.
- W2087236465 type Work @default.
- W2087236465 sameAs 2087236465 @default.
- W2087236465 citedByCount "28" @default.
- W2087236465 countsByYear W20872364652017 @default.
- W2087236465 crossrefType "proceedings-article" @default.
- W2087236465 hasAuthorship W2087236465A5023556977 @default.
- W2087236465 hasConcept C111919701 @default.
- W2087236465 hasConcept C112698675 @default.
- W2087236465 hasConcept C11413529 @default.
- W2087236465 hasConcept C121332964 @default.
- W2087236465 hasConcept C134306372 @default.
- W2087236465 hasConcept C144133560 @default.
- W2087236465 hasConcept C14580979 @default.
- W2087236465 hasConcept C149635348 @default.
- W2087236465 hasConcept C151730666 @default.
- W2087236465 hasConcept C165801399 @default.
- W2087236465 hasConcept C177264268 @default.
- W2087236465 hasConcept C179145894 @default.
- W2087236465 hasConcept C188985296 @default.
- W2087236465 hasConcept C199360897 @default.
- W2087236465 hasConcept C23572009 @default.
- W2087236465 hasConcept C2524010 @default.
- W2087236465 hasConcept C26490066 @default.
- W2087236465 hasConcept C2765594 @default.
- W2087236465 hasConcept C2776036281 @default.
- W2087236465 hasConcept C2779343474 @default.
- W2087236465 hasConcept C311688 @default.
- W2087236465 hasConcept C33923547 @default.
- W2087236465 hasConcept C41008148 @default.
- W2087236465 hasConcept C530198007 @default.
- W2087236465 hasConcept C62520636 @default.
- W2087236465 hasConcept C78401558 @default.
- W2087236465 hasConcept C86803240 @default.
- W2087236465 hasConcept C90119067 @default.
- W2087236465 hasConceptScore W2087236465C111919701 @default.
- W2087236465 hasConceptScore W2087236465C112698675 @default.
- W2087236465 hasConceptScore W2087236465C11413529 @default.
- W2087236465 hasConceptScore W2087236465C121332964 @default.
- W2087236465 hasConceptScore W2087236465C134306372 @default.
- W2087236465 hasConceptScore W2087236465C144133560 @default.
- W2087236465 hasConceptScore W2087236465C14580979 @default.
- W2087236465 hasConceptScore W2087236465C149635348 @default.
- W2087236465 hasConceptScore W2087236465C151730666 @default.
- W2087236465 hasConceptScore W2087236465C165801399 @default.
- W2087236465 hasConceptScore W2087236465C177264268 @default.
- W2087236465 hasConceptScore W2087236465C179145894 @default.
- W2087236465 hasConceptScore W2087236465C188985296 @default.
- W2087236465 hasConceptScore W2087236465C199360897 @default.
- W2087236465 hasConceptScore W2087236465C23572009 @default.
- W2087236465 hasConceptScore W2087236465C2524010 @default.
- W2087236465 hasConceptScore W2087236465C26490066 @default.
- W2087236465 hasConceptScore W2087236465C2765594 @default.
- W2087236465 hasConceptScore W2087236465C2776036281 @default.
- W2087236465 hasConceptScore W2087236465C2779343474 @default.
- W2087236465 hasConceptScore W2087236465C311688 @default.
- W2087236465 hasConceptScore W2087236465C33923547 @default.
- W2087236465 hasConceptScore W2087236465C41008148 @default.
- W2087236465 hasConceptScore W2087236465C530198007 @default.
- W2087236465 hasConceptScore W2087236465C62520636 @default.
- W2087236465 hasConceptScore W2087236465C78401558 @default.
- W2087236465 hasConceptScore W2087236465C86803240 @default.
- W2087236465 hasConceptScore W2087236465C90119067 @default.
- W2087236465 hasLocation W20872364651 @default.
- W2087236465 hasOpenAccess W2087236465 @default.
- W2087236465 hasPrimaryLocation W20872364651 @default.
- W2087236465 hasRelatedWork W13884677 @default.
- W2087236465 hasRelatedWork W1513363723 @default.
- W2087236465 hasRelatedWork W1600132007 @default.
- W2087236465 hasRelatedWork W1646605959 @default.
- W2087236465 hasRelatedWork W1650804443 @default.
- W2087236465 hasRelatedWork W1666015432 @default.
- W2087236465 hasRelatedWork W1784253675 @default.
- W2087236465 hasRelatedWork W1982538209 @default.
- W2087236465 hasRelatedWork W1984941987 @default.
- W2087236465 hasRelatedWork W1988625381 @default.
- W2087236465 hasRelatedWork W2011039300 @default.
- W2087236465 hasRelatedWork W2019834939 @default.
- W2087236465 hasRelatedWork W2021380921 @default.
- W2087236465 hasRelatedWork W2022486658 @default.
- W2087236465 hasRelatedWork W2033323875 @default.
- W2087236465 hasRelatedWork W2065939997 @default.
- W2087236465 hasRelatedWork W2172195176 @default.
- W2087236465 hasRelatedWork W2240977055 @default.
- W2087236465 hasRelatedWork W2271977825 @default.
- W2087236465 hasRelatedWork W2918866447 @default.
- W2087236465 isParatext "false" @default.
- W2087236465 isRetracted "false" @default.
- W2087236465 magId "2087236465" @default.