FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998712144> ?p ?o ?g. }

• W1998712144 abstract "This work proposes a reverse topological ordering for the variables of Zero-suppressed Binary Decision Diagrams (ZBDD) which bounds their size when used to represent the paths of a Directed Acyclic Graph (DAG). Specifically, the size of a ZBDD representing all paths of a DAG is shown to be linear to the number of the edges in the DAG. A number of different problems that can be solved by con- sidering an underlying Directed Acyclic Graph (DAG) involve the identification, representation, traversal, and/or enumeration of the the DAG's paths. A DAG is defined as a general graph whose edges are unidirectional and no loops are allowed within the structure. A DAG path is a set of consecutive graph edges. In the general case, the number of paths in a DAG can be exponential to the number of vertices in the graph (1). Representing explicitly a huge number of paths can require prohibitively large memory space and, in turn, can reduce the performance of path manipulation algorithms. In traditional VLSI design, DAGs have been extensively used for representing circuit netlists and physical design lay- outs (2). Electronic Design Automation (EDA) methodologies considering such representations involve path manipulation making path representation a crucial performance component (3). The work of (4) proposed an exact method for path representation using a data structure called path-status graph. A number of previous works (5), (6) have proposed very compact ways of representing paths using Zero-suppressed ordered Binary Decision Diagrams (ZBDDs) (7). These representations allow the efficient implementation of path operations on the ZBDD with complexity linear to the ZBDD size, in most cases. Hence, the majority of such problems can be efficiently solved, considering the ZBDD-based representation rather than the DAG representation of the circuit's netlist, provided that the size of the resulting ZBDD is not increased dramatically. The size of the ZBDD is highly affected by its variable ordering and, in the general case, can become prohibitively large when compared to the DAG representation. In this work we show that the space requirements when representing a DAG's paths using ZBDDs requires a num- ber of ZBDD nodes linear to the number of DAG lines, when a reverse topological order on the ZBDD's variables is considered. In this context a digital circuit's netlist is used as the input corresponding to the DAG. For the path representation the non-enumerative mapping proposed in (5) is employed and an analytical exercise examines the effect of the topological variable ordering on the ZBDD size. The exercise concludes that the reverse topological order produces ZBDDs with size equal to the number of the circuit's lines, for the mapping considered. The analysis is experimentally validated by building all paths for several circuits using the proposed variable ordering and comparing it with alternative orderings." @default.
• W1998712144 created "2016-06-24" @default.
• W1998712144 creator A5063130153 @default.
• W1998712144 creator A5077460840 @default.
• W1998712144 date "2014-10-01" @default.
• W1998712144 modified "2023-09-25" @default.
• W1998712144 title "Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs" @default.
• W1998712144 cites W1574303240 @default.
• W1998712144 cites W1870572063 @default.
• W1998712144 cites W1975335740 @default.
• W1998712144 cites W1994528297 @default.
• W1998712144 cites W2104084170 @default.
• W1998712144 cites W2113201323 @default.
• W1998712144 cites W2160422193 @default.
• W1998712144 cites W37550339 @default.
• W1998712144 doi "https://doi.org/10.1109/iccd.2014.6974724" @default.
• W1998712144 hasPublicationYear "2014" @default.
• W1998712144 type Work @default.
• W1998712144 sameAs 1998712144 @default.
• W1998712144 citedByCount "2" @default.
• W1998712144 countsByYear W19987121442015 @default.
• W1998712144 countsByYear W19987121442020 @default.
• W1998712144 crossrefType "proceedings-article" @default.
• W1998712144 hasAuthorship W1998712144A5063130153 @default.
• W1998712144 hasAuthorship W1998712144A5077460840 @default.
• W1998712144 hasConcept C11413529 @default.
• W1998712144 hasConcept C132525143 @default.
• W1998712144 hasConcept C140745168 @default.
• W1998712144 hasConcept C146380142 @default.
• W1998712144 hasConcept C1465435 @default.
• W1998712144 hasConcept C176032523 @default.
• W1998712144 hasConcept C17744445 @default.
• W1998712144 hasConcept C199360897 @default.
• W1998712144 hasConcept C199539241 @default.
• W1998712144 hasConcept C203776342 @default.
• W1998712144 hasConcept C22149727 @default.
• W1998712144 hasConcept C22590252 @default.
• W1998712144 hasConcept C2776359362 @default.
• W1998712144 hasConcept C2777735758 @default.
• W1998712144 hasConcept C3309909 @default.
• W1998712144 hasConcept C33923547 @default.
• W1998712144 hasConcept C41008148 @default.
• W1998712144 hasConcept C53052385 @default.
• W1998712144 hasConcept C74197172 @default.
• W1998712144 hasConcept C80444323 @default.
• W1998712144 hasConcept C94625758 @default.
• W1998712144 hasConcept C96333769 @default.
• W1998712144 hasConceptScore W1998712144C11413529 @default.
• W1998712144 hasConceptScore W1998712144C132525143 @default.
• W1998712144 hasConceptScore W1998712144C140745168 @default.
• W1998712144 hasConceptScore W1998712144C146380142 @default.
• W1998712144 hasConceptScore W1998712144C1465435 @default.
• W1998712144 hasConceptScore W1998712144C176032523 @default.
• W1998712144 hasConceptScore W1998712144C17744445 @default.
• W1998712144 hasConceptScore W1998712144C199360897 @default.
• W1998712144 hasConceptScore W1998712144C199539241 @default.
• W1998712144 hasConceptScore W1998712144C203776342 @default.
• W1998712144 hasConceptScore W1998712144C22149727 @default.
• W1998712144 hasConceptScore W1998712144C22590252 @default.
• W1998712144 hasConceptScore W1998712144C2776359362 @default.
• W1998712144 hasConceptScore W1998712144C2777735758 @default.
• W1998712144 hasConceptScore W1998712144C3309909 @default.
• W1998712144 hasConceptScore W1998712144C33923547 @default.
• W1998712144 hasConceptScore W1998712144C41008148 @default.
• W1998712144 hasConceptScore W1998712144C53052385 @default.
• W1998712144 hasConceptScore W1998712144C74197172 @default.
• W1998712144 hasConceptScore W1998712144C80444323 @default.
• W1998712144 hasConceptScore W1998712144C94625758 @default.
• W1998712144 hasConceptScore W1998712144C96333769 @default.
• W1998712144 hasLocation W19987121441 @default.
• W1998712144 hasOpenAccess W1998712144 @default.
• W1998712144 hasPrimaryLocation W19987121441 @default.
• W1998712144 hasRelatedWork W1584718440 @default.
• W1998712144 hasRelatedWork W163269334 @default.
• W1998712144 hasRelatedWork W1968923513 @default.
• W1998712144 hasRelatedWork W1976195070 @default.
• W1998712144 hasRelatedWork W1994049223 @default.
• W1998712144 hasRelatedWork W2002359105 @default.
• W1998712144 hasRelatedWork W2092805110 @default.
• W1998712144 hasRelatedWork W2130096262 @default.
• W1998712144 hasRelatedWork W2136302219 @default.
• W1998712144 hasRelatedWork W2142707936 @default.
• W1998712144 hasRelatedWork W2149479807 @default.
• W1998712144 hasRelatedWork W2168646531 @default.
• W1998712144 hasRelatedWork W2186363574 @default.
• W1998712144 hasRelatedWork W2207030976 @default.
• W1998712144 hasRelatedWork W2370871014 @default.
• W1998712144 hasRelatedWork W2804240010 @default.
• W1998712144 hasRelatedWork W2898646080 @default.
• W1998712144 hasRelatedWork W3037888299 @default.
• W1998712144 hasRelatedWork W2112121293 @default.
• W1998712144 hasRelatedWork W2183599300 @default.
• W1998712144 isParatext "false" @default.
• W1998712144 isRetracted "false" @default.
• W1998712144 magId "1998712144" @default.
• W1998712144 workType "article" @default.