Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000153357> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2000153357 abstract "Traditional state-traversal-based methods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if the correspondence of the memory elements of the two circuits can be established, a difficult sequential verification problem can be transformed into an easier combinational verification problem. In this paper, we propose an approach that combines two complementary simulation-based methods for fast and accurate storage correspondence. Experiments on the large ISCAS89 benchmark circuits demonstrate the superiority." @default.
- W2000153357 created "2016-06-24" @default.
- W2000153357 creator A5013076039 @default.
- W2000153357 creator A5027337337 @default.
- W2000153357 creator A5047813206 @default.
- W2000153357 date "2001-01-01" @default.
- W2000153357 modified "2023-09-23" @default.
- W2000153357 title "An efficient solution to the storage correspondence problem for large sequential circuits" @default.
- W2000153357 cites W2088622131 @default.
- W2000153357 cites W2115474347 @default.
- W2000153357 cites W2117783862 @default.
- W2000153357 cites W2066345462 @default.
- W2000153357 cites W2228747042 @default.
- W2000153357 cites W2237788591 @default.
- W2000153357 doi "https://doi.org/10.1145/370155.370318" @default.
- W2000153357 hasPublicationYear "2001" @default.
- W2000153357 type Work @default.
- W2000153357 sameAs 2000153357 @default.
- W2000153357 citedByCount "0" @default.
- W2000153357 crossrefType "proceedings-article" @default.
- W2000153357 hasAuthorship W2000153357A5013076039 @default.
- W2000153357 hasAuthorship W2000153357A5027337337 @default.
- W2000153357 hasAuthorship W2000153357A5047813206 @default.
- W2000153357 hasConcept C113775141 @default.
- W2000153357 hasConcept C11413529 @default.
- W2000153357 hasConcept C119599485 @default.
- W2000153357 hasConcept C127413603 @default.
- W2000153357 hasConcept C131017901 @default.
- W2000153357 hasConcept C13280743 @default.
- W2000153357 hasConcept C134146338 @default.
- W2000153357 hasConcept C140745168 @default.
- W2000153357 hasConcept C173608175 @default.
- W2000153357 hasConcept C185798385 @default.
- W2000153357 hasConcept C187075797 @default.
- W2000153357 hasConcept C205649164 @default.
- W2000153357 hasConcept C41008148 @default.
- W2000153357 hasConcept C48103436 @default.
- W2000153357 hasConcept C80444323 @default.
- W2000153357 hasConcept C81409106 @default.
- W2000153357 hasConceptScore W2000153357C113775141 @default.
- W2000153357 hasConceptScore W2000153357C11413529 @default.
- W2000153357 hasConceptScore W2000153357C119599485 @default.
- W2000153357 hasConceptScore W2000153357C127413603 @default.
- W2000153357 hasConceptScore W2000153357C131017901 @default.
- W2000153357 hasConceptScore W2000153357C13280743 @default.
- W2000153357 hasConceptScore W2000153357C134146338 @default.
- W2000153357 hasConceptScore W2000153357C140745168 @default.
- W2000153357 hasConceptScore W2000153357C173608175 @default.
- W2000153357 hasConceptScore W2000153357C185798385 @default.
- W2000153357 hasConceptScore W2000153357C187075797 @default.
- W2000153357 hasConceptScore W2000153357C205649164 @default.
- W2000153357 hasConceptScore W2000153357C41008148 @default.
- W2000153357 hasConceptScore W2000153357C48103436 @default.
- W2000153357 hasConceptScore W2000153357C80444323 @default.
- W2000153357 hasConceptScore W2000153357C81409106 @default.
- W2000153357 hasLocation W20001533571 @default.
- W2000153357 hasOpenAccess W2000153357 @default.
- W2000153357 hasPrimaryLocation W20001533571 @default.
- W2000153357 hasRelatedWork W111319707 @default.
- W2000153357 hasRelatedWork W1545277767 @default.
- W2000153357 hasRelatedWork W1929740407 @default.
- W2000153357 hasRelatedWork W1975473829 @default.
- W2000153357 hasRelatedWork W1976017876 @default.
- W2000153357 hasRelatedWork W1986780597 @default.
- W2000153357 hasRelatedWork W2000290457 @default.
- W2000153357 hasRelatedWork W2041162370 @default.
- W2000153357 hasRelatedWork W2102945171 @default.
- W2000153357 hasRelatedWork W2107076678 @default.
- W2000153357 hasRelatedWork W2108229542 @default.
- W2000153357 hasRelatedWork W2122848290 @default.
- W2000153357 hasRelatedWork W2125277664 @default.
- W2000153357 hasRelatedWork W2126339347 @default.
- W2000153357 hasRelatedWork W2161157457 @default.
- W2000153357 hasRelatedWork W2388826774 @default.
- W2000153357 hasRelatedWork W2412769972 @default.
- W2000153357 hasRelatedWork W2973869233 @default.
- W2000153357 hasRelatedWork W3146790474 @default.
- W2000153357 hasRelatedWork W2176587763 @default.
- W2000153357 isParatext "false" @default.
- W2000153357 isRetracted "false" @default.
- W2000153357 magId "2000153357" @default.
- W2000153357 workType "article" @default.