Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296952870> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4296952870 abstract "This paper proposes a Satisfiability Modulo Theory based formulation for floorplanning in VLSI circuits. The proposed approach allows a number of fixed blocks to be placed within a layout region without overlapping and at the same time minimizing the area of the layout region. The proposed approach is extended to allow a number of fixed blocks with ability to rotate and flexible blocks (with variable width and height) to be placed within a layout without overlap. Our target in all cases is reduction in area occupied on a chip which is of vital importance in obtaining a good circuit design. Satisfiability Modulo Theory combines the problem of Boolean satisfiability with domains such as convex optimization. Satisfiability Modulo Theory provides a richer modeling language than is possible with pure Boolean SAT formulas. We have conducted our experiments on MCNC and GSRC benchmark circuits to calculate the total area occupied, amount of deadspace and the total CPU time consumed while placing the blocks without overlapping. The results obtained shows clearly that the amount of dead space or wasted space is reduced if rotation is applied to the blocks." @default.
- W4296952870 created "2022-09-25" @default.
- W4296952870 creator A5021021313 @default.
- W4296952870 creator A5022725234 @default.
- W4296952870 creator A5088552753 @default.
- W4296952870 date "2017-09-21" @default.
- W4296952870 modified "2023-09-26" @default.
- W4296952870 title "Satisfiability Modulo Theory based Methodology for Floorplanning in VLSI Circuits" @default.
- W4296952870 doi "https://doi.org/10.48550/arxiv.1709.07241" @default.
- W4296952870 hasPublicationYear "2017" @default.
- W4296952870 type Work @default.
- W4296952870 citedByCount "0" @default.
- W4296952870 crossrefType "posted-content" @default.
- W4296952870 hasAuthorship W4296952870A5021021313 @default.
- W4296952870 hasAuthorship W4296952870A5022725234 @default.
- W4296952870 hasAuthorship W4296952870A5088552753 @default.
- W4296952870 hasBestOaLocation W42969528701 @default.
- W4296952870 hasConcept C111335779 @default.
- W4296952870 hasConcept C11413529 @default.
- W4296952870 hasConcept C118615104 @default.
- W4296952870 hasConcept C119599485 @default.
- W4296952870 hasConcept C126255220 @default.
- W4296952870 hasConcept C127413603 @default.
- W4296952870 hasConcept C130145326 @default.
- W4296952870 hasConcept C13280743 @default.
- W4296952870 hasConcept C134146338 @default.
- W4296952870 hasConcept C14580979 @default.
- W4296952870 hasConcept C149635348 @default.
- W4296952870 hasConcept C164155591 @default.
- W4296952870 hasConcept C168773769 @default.
- W4296952870 hasConcept C173608175 @default.
- W4296952870 hasConcept C185798385 @default.
- W4296952870 hasConcept C205649164 @default.
- W4296952870 hasConcept C2524010 @default.
- W4296952870 hasConcept C33923547 @default.
- W4296952870 hasConcept C41008148 @default.
- W4296952870 hasConcept C54732982 @default.
- W4296952870 hasConcept C80444323 @default.
- W4296952870 hasConceptScore W4296952870C111335779 @default.
- W4296952870 hasConceptScore W4296952870C11413529 @default.
- W4296952870 hasConceptScore W4296952870C118615104 @default.
- W4296952870 hasConceptScore W4296952870C119599485 @default.
- W4296952870 hasConceptScore W4296952870C126255220 @default.
- W4296952870 hasConceptScore W4296952870C127413603 @default.
- W4296952870 hasConceptScore W4296952870C130145326 @default.
- W4296952870 hasConceptScore W4296952870C13280743 @default.
- W4296952870 hasConceptScore W4296952870C134146338 @default.
- W4296952870 hasConceptScore W4296952870C14580979 @default.
- W4296952870 hasConceptScore W4296952870C149635348 @default.
- W4296952870 hasConceptScore W4296952870C164155591 @default.
- W4296952870 hasConceptScore W4296952870C168773769 @default.
- W4296952870 hasConceptScore W4296952870C173608175 @default.
- W4296952870 hasConceptScore W4296952870C185798385 @default.
- W4296952870 hasConceptScore W4296952870C205649164 @default.
- W4296952870 hasConceptScore W4296952870C2524010 @default.
- W4296952870 hasConceptScore W4296952870C33923547 @default.
- W4296952870 hasConceptScore W4296952870C41008148 @default.
- W4296952870 hasConceptScore W4296952870C54732982 @default.
- W4296952870 hasConceptScore W4296952870C80444323 @default.
- W4296952870 hasLocation W42969528701 @default.
- W4296952870 hasOpenAccess W4296952870 @default.
- W4296952870 hasPrimaryLocation W42969528701 @default.
- W4296952870 hasRelatedWork W1505526588 @default.
- W4296952870 hasRelatedWork W1544167035 @default.
- W4296952870 hasRelatedWork W1868334863 @default.
- W4296952870 hasRelatedWork W2048903787 @default.
- W4296952870 hasRelatedWork W2238963713 @default.
- W4296952870 hasRelatedWork W2275420537 @default.
- W4296952870 hasRelatedWork W2433033450 @default.
- W4296952870 hasRelatedWork W2652810043 @default.
- W4296952870 hasRelatedWork W2735287568 @default.
- W4296952870 hasRelatedWork W2963475444 @default.
- W4296952870 isParatext "false" @default.
- W4296952870 isRetracted "false" @default.
- W4296952870 workType "article" @default.