Matches in SemOpenAlex for { <https://semopenalex.org/work/W2400029596> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2400029596 endingPage "50" @default.
- W2400029596 startingPage "41" @default.
- W2400029596 abstract "Word-level decision diagrams (WLDDs), like EVBDDs, *BMDs, HDDs, K*BMDs, are powerful tools in circuit verification. For some arithmetic circuits, like multipliers, formal verification was possible for the first time using WLDDs. Besides a good variable ordering and the decomposition types the size of a WLDD essentially depends on the grouping of the outputs. In this paper we study output grouping in more detail. We give examples showing that an exponential reduction or an exponential blow-up can be obtained dependent on grouping. We describe efficient heuristics for output grouping given a circuit description in the form of a netlist. Experimental results are given to demonstrate the efficiency of our approach." @default.
- W2400029596 created "2016-06-24" @default.
- W2400029596 creator A5038861833 @default.
- W2400029596 creator A5057642707 @default.
- W2400029596 creator A5071742136 @default.
- W2400029596 date "1999-01-01" @default.
- W2400029596 modified "2023-09-26" @default.
- W2400029596 title "Grouping Heuristics for Word-Level Decision Diagrams." @default.
- W2400029596 hasPublicationYear "1999" @default.
- W2400029596 type Work @default.
- W2400029596 sameAs 2400029596 @default.
- W2400029596 citedByCount "0" @default.
- W2400029596 crossrefType "journal-article" @default.
- W2400029596 hasAuthorship W2400029596A5038861833 @default.
- W2400029596 hasAuthorship W2400029596A5057642707 @default.
- W2400029596 hasAuthorship W2400029596A5071742136 @default.
- W2400029596 hasConcept C111335779 @default.
- W2400029596 hasConcept C111919701 @default.
- W2400029596 hasConcept C11413529 @default.
- W2400029596 hasConcept C127705205 @default.
- W2400029596 hasConcept C134306372 @default.
- W2400029596 hasConcept C149635348 @default.
- W2400029596 hasConcept C151376022 @default.
- W2400029596 hasConcept C154945302 @default.
- W2400029596 hasConcept C177650935 @default.
- W2400029596 hasConcept C182365436 @default.
- W2400029596 hasConcept C20837028 @default.
- W2400029596 hasConcept C2524010 @default.
- W2400029596 hasConcept C33923547 @default.
- W2400029596 hasConcept C41008148 @default.
- W2400029596 hasConcept C80444323 @default.
- W2400029596 hasConcept C84525736 @default.
- W2400029596 hasConcept C90805587 @default.
- W2400029596 hasConcept C94375191 @default.
- W2400029596 hasConceptScore W2400029596C111335779 @default.
- W2400029596 hasConceptScore W2400029596C111919701 @default.
- W2400029596 hasConceptScore W2400029596C11413529 @default.
- W2400029596 hasConceptScore W2400029596C127705205 @default.
- W2400029596 hasConceptScore W2400029596C134306372 @default.
- W2400029596 hasConceptScore W2400029596C149635348 @default.
- W2400029596 hasConceptScore W2400029596C151376022 @default.
- W2400029596 hasConceptScore W2400029596C154945302 @default.
- W2400029596 hasConceptScore W2400029596C177650935 @default.
- W2400029596 hasConceptScore W2400029596C182365436 @default.
- W2400029596 hasConceptScore W2400029596C20837028 @default.
- W2400029596 hasConceptScore W2400029596C2524010 @default.
- W2400029596 hasConceptScore W2400029596C33923547 @default.
- W2400029596 hasConceptScore W2400029596C41008148 @default.
- W2400029596 hasConceptScore W2400029596C80444323 @default.
- W2400029596 hasConceptScore W2400029596C84525736 @default.
- W2400029596 hasConceptScore W2400029596C90805587 @default.
- W2400029596 hasConceptScore W2400029596C94375191 @default.
- W2400029596 hasLocation W24000295961 @default.
- W2400029596 hasOpenAccess W2400029596 @default.
- W2400029596 hasPrimaryLocation W24000295961 @default.
- W2400029596 hasRelatedWork W1528515814 @default.
- W2400029596 hasRelatedWork W1807276935 @default.
- W2400029596 hasRelatedWork W1881699167 @default.
- W2400029596 hasRelatedWork W190576718 @default.
- W2400029596 hasRelatedWork W1939160307 @default.
- W2400029596 hasRelatedWork W1965228520 @default.
- W2400029596 hasRelatedWork W2108766619 @default.
- W2400029596 hasRelatedWork W2111739503 @default.
- W2400029596 hasRelatedWork W2114278702 @default.
- W2400029596 hasRelatedWork W2115259878 @default.
- W2400029596 hasRelatedWork W2120724211 @default.
- W2400029596 hasRelatedWork W2123939985 @default.
- W2400029596 hasRelatedWork W2124251693 @default.
- W2400029596 hasRelatedWork W2207030976 @default.
- W2400029596 hasRelatedWork W2306485542 @default.
- W2400029596 hasRelatedWork W2358193247 @default.
- W2400029596 hasRelatedWork W2898646080 @default.
- W2400029596 hasRelatedWork W3143262709 @default.
- W2400029596 hasRelatedWork W32831924 @default.
- W2400029596 hasRelatedWork W5386596 @default.
- W2400029596 isParatext "false" @default.
- W2400029596 isRetracted "false" @default.
- W2400029596 magId "2400029596" @default.
- W2400029596 workType "article" @default.