Matches in SemOpenAlex for { <https://semopenalex.org/work/W2416021645> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2416021645 abstract "This thesis explores logic minimization techniques for Boolean functions represented as if-then-else scDAGs. In particular the thesis presents algorithms for two areas of multi-level logic minimization: Rectangle Covering and Variable Ordering.Rectangle covering is the process of factoring and extracting common sub-expressions in Boolean functions. Boolean functions are represented as Boolean matrices, and rectangles of these matrices represent either a factor of a function or a sub-expression that can be shared among several functions. An efficient heuristic algorithm two-column rectangle replacement for finding rectangles of a Boolean matrix is presented. The heuristic is particularly well suited for optimizing circuits for area, while controlling the delay. A slight variation of the heuristic optimizes with respect to delay.Variable ordering is a problem specific to canonical if-then-else scDAGs and ordered binary decision diagrams. This thesis presents an improved depth-first ordering heuristic based on reconvergent fanout. This heuristic is fast and produces variable orders resulting in smaller canonical forms than previously published traversal-based ordering heuristics, and is suitable when using canonical form for verification purposes. The thesis also presents a new ordering heuristic called SplitOrder, which is especially well suited for finding good variable orders for ordered binary decision diagrams (scOBDDs). SplitOrder constructs the variable order by building an scOBDD top-down one level at a time, choosing the next variable such that the corresponding level in the scOBDD has few nodes and represents expressions that are as small as possible. SplitOrder is compared to several depth-first ordering heuristics and show that when converting to scOBDDs SplitOrder averages 25% fewer nodes than taking the best of 8 depth-first techniques (37% better than the best single depth-first technique). Finally it is demonstrated that applying SplitOrder to a set of expressions already represented as an scOBDD often results in significantly better variable orders, thus making it beneficial to iterate SplitOrder.All of the algorithms presented in this thesis have been implemented, tested, and installed as part of the logic minimizer scITEM." @default.
- W2416021645 created "2016-06-24" @default.
- W2416021645 creator A5051444954 @default.
- W2416021645 date "1994-12-15" @default.
- W2416021645 modified "2023-09-27" @default.
- W2416021645 title "Rectangle replacement and variable ordering: two techniques for logic minimization using if-then-else dags" @default.
- W2416021645 hasPublicationYear "1994" @default.
- W2416021645 type Work @default.
- W2416021645 sameAs 2416021645 @default.
- W2416021645 citedByCount "0" @default.
- W2416021645 crossrefType "journal-article" @default.
- W2416021645 hasAuthorship W2416021645A5051444954 @default.
- W2416021645 hasConcept C11413529 @default.
- W2416021645 hasConcept C118615104 @default.
- W2416021645 hasConcept C126255220 @default.
- W2416021645 hasConcept C127705205 @default.
- W2416021645 hasConcept C134306372 @default.
- W2416021645 hasConcept C147764199 @default.
- W2416021645 hasConcept C158465420 @default.
- W2416021645 hasConcept C163561899 @default.
- W2416021645 hasConcept C173801870 @default.
- W2416021645 hasConcept C178790620 @default.
- W2416021645 hasConcept C182365436 @default.
- W2416021645 hasConcept C185592680 @default.
- W2416021645 hasConcept C187455244 @default.
- W2416021645 hasConcept C2524010 @default.
- W2416021645 hasConcept C2781302577 @default.
- W2416021645 hasConcept C2781311116 @default.
- W2416021645 hasConcept C3309909 @default.
- W2416021645 hasConcept C33923547 @default.
- W2416021645 hasConcept C41008148 @default.
- W2416021645 hasConcept C94992772 @default.
- W2416021645 hasConceptScore W2416021645C11413529 @default.
- W2416021645 hasConceptScore W2416021645C118615104 @default.
- W2416021645 hasConceptScore W2416021645C126255220 @default.
- W2416021645 hasConceptScore W2416021645C127705205 @default.
- W2416021645 hasConceptScore W2416021645C134306372 @default.
- W2416021645 hasConceptScore W2416021645C147764199 @default.
- W2416021645 hasConceptScore W2416021645C158465420 @default.
- W2416021645 hasConceptScore W2416021645C163561899 @default.
- W2416021645 hasConceptScore W2416021645C173801870 @default.
- W2416021645 hasConceptScore W2416021645C178790620 @default.
- W2416021645 hasConceptScore W2416021645C182365436 @default.
- W2416021645 hasConceptScore W2416021645C185592680 @default.
- W2416021645 hasConceptScore W2416021645C187455244 @default.
- W2416021645 hasConceptScore W2416021645C2524010 @default.
- W2416021645 hasConceptScore W2416021645C2781302577 @default.
- W2416021645 hasConceptScore W2416021645C2781311116 @default.
- W2416021645 hasConceptScore W2416021645C3309909 @default.
- W2416021645 hasConceptScore W2416021645C33923547 @default.
- W2416021645 hasConceptScore W2416021645C41008148 @default.
- W2416021645 hasConceptScore W2416021645C94992772 @default.
- W2416021645 hasLocation W24160216451 @default.
- W2416021645 hasOpenAccess W2416021645 @default.
- W2416021645 hasPrimaryLocation W24160216451 @default.
- W2416021645 hasRelatedWork W115147118 @default.
- W2416021645 hasRelatedWork W1568562702 @default.
- W2416021645 hasRelatedWork W1975449960 @default.
- W2416021645 hasRelatedWork W1990723029 @default.
- W2416021645 hasRelatedWork W1999630397 @default.
- W2416021645 hasRelatedWork W2040464422 @default.
- W2416021645 hasRelatedWork W2057331748 @default.
- W2416021645 hasRelatedWork W2107344241 @default.
- W2416021645 hasRelatedWork W2109021772 @default.
- W2416021645 hasRelatedWork W2114358068 @default.
- W2416021645 hasRelatedWork W2126082568 @default.
- W2416021645 hasRelatedWork W2149231873 @default.
- W2416021645 hasRelatedWork W2189580224 @default.
- W2416021645 hasRelatedWork W2287566789 @default.
- W2416021645 hasRelatedWork W229127584 @default.
- W2416021645 hasRelatedWork W2348548327 @default.
- W2416021645 hasRelatedWork W2763246596 @default.
- W2416021645 hasRelatedWork W3133503023 @default.
- W2416021645 hasRelatedWork W49367632 @default.
- W2416021645 hasRelatedWork W3140702654 @default.
- W2416021645 isParatext "false" @default.
- W2416021645 isRetracted "false" @default.
- W2416021645 magId "2416021645" @default.
- W2416021645 workType "article" @default.