Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117285997> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2117285997 abstract "This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight integration of a structural satisfiability (SAT) solver, BDD sweeping, and random simulation; all three working on a shared graph representation of the circuit. The BDD sweeping and SAT solver are applied in an inter-twined manner both controlled by resource limits that are successively increased during each iteration. In this cooperative setting the BDD sweeping incrementally reduces the search space for the SAT solver until the problem is solved or the resource limits are exhausted. This approach improves on previous work in several ways: The integral application of the SAT solver significantly enhances the capacity and efficiency of BDD sweeping and extends its suitability for miscomparing designs. Further, the random simulation algorithm works on the compressed circuit graph and thus runs more efficiently. Our experiments demonstrate that the outlined approach is effective for a large class of equivalence checking instances by automatically adapting to the difficulty of the problem." @default.
- W2117285997 created "2016-06-24" @default.
- W2117285997 creator A5039572250 @default.
- W2117285997 creator A5050442585 @default.
- W2117285997 date "2002-11-08" @default.
- W2117285997 modified "2023-10-16" @default.
- W2117285997 title "Equivalence checking combining a structural SAT-solver, BDDs, and simulation" @default.
- W2117285997 cites W1881699167 @default.
- W2117285997 cites W1952128916 @default.
- W2117285997 cites W1994143452 @default.
- W2117285997 cites W2012336463 @default.
- W2117285997 cites W2053446892 @default.
- W2117285997 cites W2062897452 @default.
- W2117285997 cites W2080267935 @default.
- W2117285997 cites W2109103805 @default.
- W2117285997 cites W2163730402 @default.
- W2117285997 cites W2172044541 @default.
- W2117285997 cites W4230586716 @default.
- W2117285997 cites W4237163049 @default.
- W2117285997 cites W4241530675 @default.
- W2117285997 cites W4243399171 @default.
- W2117285997 cites W4255413535 @default.
- W2117285997 doi "https://doi.org/10.1109/iccd.2000.878323" @default.
- W2117285997 hasPublicationYear "2002" @default.
- W2117285997 type Work @default.
- W2117285997 sameAs 2117285997 @default.
- W2117285997 citedByCount "45" @default.
- W2117285997 countsByYear W21172859972012 @default.
- W2117285997 countsByYear W21172859972013 @default.
- W2117285997 countsByYear W21172859972016 @default.
- W2117285997 countsByYear W21172859972017 @default.
- W2117285997 countsByYear W21172859972022 @default.
- W2117285997 crossrefType "proceedings-article" @default.
- W2117285997 hasAuthorship W2117285997A5039572250 @default.
- W2117285997 hasAuthorship W2117285997A5050442585 @default.
- W2117285997 hasConcept C110251889 @default.
- W2117285997 hasConcept C111498074 @default.
- W2117285997 hasConcept C11413529 @default.
- W2117285997 hasConcept C118615104 @default.
- W2117285997 hasConcept C173608175 @default.
- W2117285997 hasConcept C199360897 @default.
- W2117285997 hasConcept C2778770139 @default.
- W2117285997 hasConcept C2780069185 @default.
- W2117285997 hasConcept C33923547 @default.
- W2117285997 hasConcept C41008148 @default.
- W2117285997 hasConcept C6943359 @default.
- W2117285997 hasConcept C80444323 @default.
- W2117285997 hasConcept C96654402 @default.
- W2117285997 hasConceptScore W2117285997C110251889 @default.
- W2117285997 hasConceptScore W2117285997C111498074 @default.
- W2117285997 hasConceptScore W2117285997C11413529 @default.
- W2117285997 hasConceptScore W2117285997C118615104 @default.
- W2117285997 hasConceptScore W2117285997C173608175 @default.
- W2117285997 hasConceptScore W2117285997C199360897 @default.
- W2117285997 hasConceptScore W2117285997C2778770139 @default.
- W2117285997 hasConceptScore W2117285997C2780069185 @default.
- W2117285997 hasConceptScore W2117285997C33923547 @default.
- W2117285997 hasConceptScore W2117285997C41008148 @default.
- W2117285997 hasConceptScore W2117285997C6943359 @default.
- W2117285997 hasConceptScore W2117285997C80444323 @default.
- W2117285997 hasConceptScore W2117285997C96654402 @default.
- W2117285997 hasLocation W21172859971 @default.
- W2117285997 hasOpenAccess W2117285997 @default.
- W2117285997 hasPrimaryLocation W21172859971 @default.
- W2117285997 hasRelatedWork W1499470128 @default.
- W2117285997 hasRelatedWork W1558598345 @default.
- W2117285997 hasRelatedWork W2060407451 @default.
- W2117285997 hasRelatedWork W2103625331 @default.
- W2117285997 hasRelatedWork W2114398233 @default.
- W2117285997 hasRelatedWork W2161772051 @default.
- W2117285997 hasRelatedWork W2757611789 @default.
- W2117285997 hasRelatedWork W3148913902 @default.
- W2117285997 hasRelatedWork W4299734787 @default.
- W2117285997 hasRelatedWork W2187575164 @default.
- W2117285997 isParatext "false" @default.
- W2117285997 isRetracted "false" @default.
- W2117285997 magId "2117285997" @default.
- W2117285997 workType "article" @default.