Matches in SemOpenAlex for { <https://semopenalex.org/work/W2370295989> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2370295989 abstract "Combinational circuit verification is an important aspect of formal verification of digital integrated circuits. Binary decision diagrams (BDDs) are used traditionally as the main engines of equivalence checking algorithms. However, there have been significant advances in satisfiability (SAT) algorithms, and SAT algorithms have several inherent features which BDDs lack. In this paper, we present a combinational equivalence checking method based on incremental satisfiability. This method chooses the candidate equivalent pairs with some new techniques, and uses incremental satisfiability algorithm for improving its performance. Through substituting the internal equivalent pairs and converting the equivalence relations into conjunctive normal form (CNF) formulas, our approach can avoid the false negatives, but also can reduce the search space of SAT procedure. The experimental results on ISCAS’85 benchmark circuits show that, the presented approach is faster and more robust than those approaches in literature." @default.
- W2370295989 created "2016-06-24" @default.
- W2370295989 creator A5059576901 @default.
- W2370295989 date "2004-01-01" @default.
- W2370295989 modified "2023-09-28" @default.
- W2370295989 title "Combinational Equivalence Checking Based on Incremental Satisfiability" @default.
- W2370295989 hasPublicationYear "2004" @default.
- W2370295989 type Work @default.
- W2370295989 sameAs 2370295989 @default.
- W2370295989 citedByCount "0" @default.
- W2370295989 crossrefType "journal-article" @default.
- W2370295989 hasAuthorship W2370295989A5059576901 @default.
- W2370295989 hasConcept C110251889 @default.
- W2370295989 hasConcept C111498074 @default.
- W2370295989 hasConcept C11413529 @default.
- W2370295989 hasConcept C118615104 @default.
- W2370295989 hasConcept C131017901 @default.
- W2370295989 hasConcept C13280743 @default.
- W2370295989 hasConcept C16221470 @default.
- W2370295989 hasConcept C168773769 @default.
- W2370295989 hasConcept C185798385 @default.
- W2370295989 hasConcept C205649164 @default.
- W2370295989 hasConcept C2780069185 @default.
- W2370295989 hasConcept C3309909 @default.
- W2370295989 hasConcept C33923547 @default.
- W2370295989 hasConcept C41008148 @default.
- W2370295989 hasConcept C48372109 @default.
- W2370295989 hasConcept C6943359 @default.
- W2370295989 hasConcept C80444323 @default.
- W2370295989 hasConcept C81409106 @default.
- W2370295989 hasConcept C94375191 @default.
- W2370295989 hasConcept C96654402 @default.
- W2370295989 hasConceptScore W2370295989C110251889 @default.
- W2370295989 hasConceptScore W2370295989C111498074 @default.
- W2370295989 hasConceptScore W2370295989C11413529 @default.
- W2370295989 hasConceptScore W2370295989C118615104 @default.
- W2370295989 hasConceptScore W2370295989C131017901 @default.
- W2370295989 hasConceptScore W2370295989C13280743 @default.
- W2370295989 hasConceptScore W2370295989C16221470 @default.
- W2370295989 hasConceptScore W2370295989C168773769 @default.
- W2370295989 hasConceptScore W2370295989C185798385 @default.
- W2370295989 hasConceptScore W2370295989C205649164 @default.
- W2370295989 hasConceptScore W2370295989C2780069185 @default.
- W2370295989 hasConceptScore W2370295989C3309909 @default.
- W2370295989 hasConceptScore W2370295989C33923547 @default.
- W2370295989 hasConceptScore W2370295989C41008148 @default.
- W2370295989 hasConceptScore W2370295989C48372109 @default.
- W2370295989 hasConceptScore W2370295989C6943359 @default.
- W2370295989 hasConceptScore W2370295989C80444323 @default.
- W2370295989 hasConceptScore W2370295989C81409106 @default.
- W2370295989 hasConceptScore W2370295989C94375191 @default.
- W2370295989 hasConceptScore W2370295989C96654402 @default.
- W2370295989 hasLocation W23702959891 @default.
- W2370295989 hasOpenAccess W2370295989 @default.
- W2370295989 hasPrimaryLocation W23702959891 @default.
- W2370295989 hasRelatedWork W1494460786 @default.
- W2370295989 hasRelatedWork W1506660274 @default.
- W2370295989 hasRelatedWork W1512529696 @default.
- W2370295989 hasRelatedWork W1525668847 @default.
- W2370295989 hasRelatedWork W1996808256 @default.
- W2370295989 hasRelatedWork W2024148935 @default.
- W2370295989 hasRelatedWork W2024295812 @default.
- W2370295989 hasRelatedWork W2048095287 @default.
- W2370295989 hasRelatedWork W2060407451 @default.
- W2370295989 hasRelatedWork W2067593607 @default.
- W2370295989 hasRelatedWork W2071559752 @default.
- W2370295989 hasRelatedWork W2114725357 @default.
- W2370295989 hasRelatedWork W2117285997 @default.
- W2370295989 hasRelatedWork W2118916888 @default.
- W2370295989 hasRelatedWork W2120925552 @default.
- W2370295989 hasRelatedWork W2126983591 @default.
- W2370295989 hasRelatedWork W2149968564 @default.
- W2370295989 hasRelatedWork W2184875278 @default.
- W2370295989 hasRelatedWork W2369639201 @default.
- W2370295989 hasRelatedWork W2389109338 @default.
- W2370295989 isParatext "false" @default.
- W2370295989 isRetracted "false" @default.
- W2370295989 magId "2370295989" @default.
- W2370295989 workType "article" @default.