Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165008060> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2165008060 abstract "After designing a multi-valued logic network (MVLN), the resulting circuit has to be verified to guarantee its functional correctness. The most promising technique to cope with increasing device size is formal methods. Ordered multi-valued decision diagrams (OMDDs) have been proposed for formal verification of MVLNs. But OMDDs are very sensitive to the chosen variable ordering, and several ordering heuristics have been proposed in the past. The most promising of these with respect to OMDD size are dynamic variable ordering techniques, but these algorithms often cannot be applied in formal verification approaches due to their long run-times. Alternatively, static variable ordering heuristics have been developed that determine an ordering from the circuit topology, but these heuristics often cannot guarantee good quality. In this paper, an evaluation technique is proposed that uses a pool of static variable ordering heuristics. Each heuristic is applied and the OMDD construction is started until a node or time limit is reached. Then the heuristic performed best so far is selected for the complete construction. The choice of the node and tine limit allows one to smoothly trade off run-time vs. quality. Experimental results are given to demonstrate the efficiency of the approach. The technique allows one to save time and memory, since only promising orders are considered." @default.
- W2165008060 created "2016-06-24" @default.
- W2165008060 creator A5071742136 @default.
- W2165008060 date "2003-06-25" @default.
- W2165008060 modified "2023-09-26" @default.
- W2165008060 title "Evaluation of static variable ordering heuristics for MDD construction [multi-valued decision diagrams]" @default.
- W2165008060 cites W12618665 @default.
- W2165008060 cites W1572486403 @default.
- W2165008060 cites W1596186423 @default.
- W2165008060 cites W1602476740 @default.
- W2165008060 cites W1886348063 @default.
- W2165008060 cites W1992105102 @default.
- W2165008060 cites W1996923656 @default.
- W2165008060 cites W2080267935 @default.
- W2165008060 cites W2107858876 @default.
- W2165008060 cites W2110737535 @default.
- W2165008060 cites W2113246814 @default.
- W2165008060 cites W2113972065 @default.
- W2165008060 cites W2123109805 @default.
- W2165008060 cites W2135453964 @default.
- W2165008060 cites W2137108108 @default.
- W2165008060 cites W2152406824 @default.
- W2165008060 cites W2154030608 @default.
- W2165008060 cites W2155672011 @default.
- W2165008060 cites W2270317352 @default.
- W2165008060 doi "https://doi.org/10.1109/ismvl.2002.1011096" @default.
- W2165008060 hasPublicationYear "2003" @default.
- W2165008060 type Work @default.
- W2165008060 sameAs 2165008060 @default.
- W2165008060 citedByCount "6" @default.
- W2165008060 countsByYear W21650080602013 @default.
- W2165008060 countsByYear W21650080602014 @default.
- W2165008060 countsByYear W21650080602016 @default.
- W2165008060 countsByYear W21650080602018 @default.
- W2165008060 crossrefType "proceedings-article" @default.
- W2165008060 hasAuthorship W2165008060A5071742136 @default.
- W2165008060 hasConcept C111919701 @default.
- W2165008060 hasConcept C11413529 @default.
- W2165008060 hasConcept C126255220 @default.
- W2165008060 hasConcept C127413603 @default.
- W2165008060 hasConcept C127705205 @default.
- W2165008060 hasConcept C134306372 @default.
- W2165008060 hasConcept C151201525 @default.
- W2165008060 hasConcept C154945302 @default.
- W2165008060 hasConcept C173801870 @default.
- W2165008060 hasConcept C182365436 @default.
- W2165008060 hasConcept C199845137 @default.
- W2165008060 hasConcept C33923547 @default.
- W2165008060 hasConcept C41008148 @default.
- W2165008060 hasConcept C55439883 @default.
- W2165008060 hasConcept C62611344 @default.
- W2165008060 hasConcept C66938386 @default.
- W2165008060 hasConceptScore W2165008060C111919701 @default.
- W2165008060 hasConceptScore W2165008060C11413529 @default.
- W2165008060 hasConceptScore W2165008060C126255220 @default.
- W2165008060 hasConceptScore W2165008060C127413603 @default.
- W2165008060 hasConceptScore W2165008060C127705205 @default.
- W2165008060 hasConceptScore W2165008060C134306372 @default.
- W2165008060 hasConceptScore W2165008060C151201525 @default.
- W2165008060 hasConceptScore W2165008060C154945302 @default.
- W2165008060 hasConceptScore W2165008060C173801870 @default.
- W2165008060 hasConceptScore W2165008060C182365436 @default.
- W2165008060 hasConceptScore W2165008060C199845137 @default.
- W2165008060 hasConceptScore W2165008060C33923547 @default.
- W2165008060 hasConceptScore W2165008060C41008148 @default.
- W2165008060 hasConceptScore W2165008060C55439883 @default.
- W2165008060 hasConceptScore W2165008060C62611344 @default.
- W2165008060 hasConceptScore W2165008060C66938386 @default.
- W2165008060 hasLocation W21650080601 @default.
- W2165008060 hasOpenAccess W2165008060 @default.
- W2165008060 hasPrimaryLocation W21650080601 @default.
- W2165008060 hasRelatedWork W1480276185 @default.
- W2165008060 hasRelatedWork W1571020816 @default.
- W2165008060 hasRelatedWork W168513913 @default.
- W2165008060 hasRelatedWork W2041520385 @default.
- W2165008060 hasRelatedWork W2164088030 @default.
- W2165008060 hasRelatedWork W2208548551 @default.
- W2165008060 hasRelatedWork W2291793555 @default.
- W2165008060 hasRelatedWork W2339102515 @default.
- W2165008060 hasRelatedWork W2401165632 @default.
- W2165008060 hasRelatedWork W2404897795 @default.
- W2165008060 hasRelatedWork W2417628481 @default.
- W2165008060 hasRelatedWork W2563382718 @default.
- W2165008060 hasRelatedWork W2610679774 @default.
- W2165008060 hasRelatedWork W2906165405 @default.
- W2165008060 hasRelatedWork W3037712104 @default.
- W2165008060 hasRelatedWork W3091477414 @default.
- W2165008060 hasRelatedWork W3104074232 @default.
- W2165008060 hasRelatedWork W3110154839 @default.
- W2165008060 hasRelatedWork W5947967 @default.
- W2165008060 hasRelatedWork W852384 @default.
- W2165008060 isParatext "false" @default.
- W2165008060 isRetracted "false" @default.
- W2165008060 magId "2165008060" @default.
- W2165008060 workType "article" @default.