Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095452654> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2095452654 abstract "Formally verifying properties of signals in a circuit hasseveral applications in an equivalence checking based formalverification flow.In a hierarchical design, functionalityis divided across blocks.This necessitates the useof constraints on input signals of a block to avoid falsenegatives.Validating such input constraints requires assertionchecking at the outputs of modules generatingthe constrained signals.In this paper, we present anefficient assertion checker for combinational propertieswhich avoids the BDD explosion problem by finding anoptimal intermediate correlation free frontier.It hasbeen successfully used in an industrial setting to uncovera number of bugs." @default.
- W2095452654 created "2016-06-24" @default.
- W2095452654 creator A5017531647 @default.
- W2095452654 creator A5035881813 @default.
- W2095452654 creator A5041622284 @default.
- W2095452654 date "1997-01-01" @default.
- W2095452654 modified "2023-09-23" @default.
- W2095452654 title "An efficient assertion checker for combinational properties" @default.
- W2095452654 cites W2053446892 @default.
- W2095452654 cites W2080267935 @default.
- W2095452654 cites W2096076317 @default.
- W2095452654 cites W2121367682 @default.
- W2095452654 cites W2149111772 @default.
- W2095452654 cites W2155562553 @default.
- W2095452654 cites W2161280291 @default.
- W2095452654 doi "https://doi.org/10.1145/266021.266357" @default.
- W2095452654 hasPublicationYear "1997" @default.
- W2095452654 type Work @default.
- W2095452654 sameAs 2095452654 @default.
- W2095452654 citedByCount "2" @default.
- W2095452654 crossrefType "proceedings-article" @default.
- W2095452654 hasAuthorship W2095452654A5017531647 @default.
- W2095452654 hasAuthorship W2095452654A5035881813 @default.
- W2095452654 hasAuthorship W2095452654A5041622284 @default.
- W2095452654 hasConcept C110251889 @default.
- W2095452654 hasConcept C111498074 @default.
- W2095452654 hasConcept C11413529 @default.
- W2095452654 hasConcept C118615104 @default.
- W2095452654 hasConcept C131017901 @default.
- W2095452654 hasConcept C173608175 @default.
- W2095452654 hasConcept C187455244 @default.
- W2095452654 hasConcept C199360897 @default.
- W2095452654 hasConcept C2524010 @default.
- W2095452654 hasConcept C2777210771 @default.
- W2095452654 hasConcept C2780069185 @default.
- W2095452654 hasConcept C33923547 @default.
- W2095452654 hasConcept C40422974 @default.
- W2095452654 hasConcept C41008148 @default.
- W2095452654 hasConcept C80444323 @default.
- W2095452654 hasConcept C81409106 @default.
- W2095452654 hasConcept C96654402 @default.
- W2095452654 hasConceptScore W2095452654C110251889 @default.
- W2095452654 hasConceptScore W2095452654C111498074 @default.
- W2095452654 hasConceptScore W2095452654C11413529 @default.
- W2095452654 hasConceptScore W2095452654C118615104 @default.
- W2095452654 hasConceptScore W2095452654C131017901 @default.
- W2095452654 hasConceptScore W2095452654C173608175 @default.
- W2095452654 hasConceptScore W2095452654C187455244 @default.
- W2095452654 hasConceptScore W2095452654C199360897 @default.
- W2095452654 hasConceptScore W2095452654C2524010 @default.
- W2095452654 hasConceptScore W2095452654C2777210771 @default.
- W2095452654 hasConceptScore W2095452654C2780069185 @default.
- W2095452654 hasConceptScore W2095452654C33923547 @default.
- W2095452654 hasConceptScore W2095452654C40422974 @default.
- W2095452654 hasConceptScore W2095452654C41008148 @default.
- W2095452654 hasConceptScore W2095452654C80444323 @default.
- W2095452654 hasConceptScore W2095452654C81409106 @default.
- W2095452654 hasConceptScore W2095452654C96654402 @default.
- W2095452654 hasLocation W20954526541 @default.
- W2095452654 hasOpenAccess W2095452654 @default.
- W2095452654 hasPrimaryLocation W20954526541 @default.
- W2095452654 hasRelatedWork W1480105416 @default.
- W2095452654 hasRelatedWork W1488219274 @default.
- W2095452654 hasRelatedWork W1517959189 @default.
- W2095452654 hasRelatedWork W1541174442 @default.
- W2095452654 hasRelatedWork W1541426137 @default.
- W2095452654 hasRelatedWork W1558598345 @default.
- W2095452654 hasRelatedWork W1582717179 @default.
- W2095452654 hasRelatedWork W1582868218 @default.
- W2095452654 hasRelatedWork W1584581609 @default.
- W2095452654 hasRelatedWork W2012187127 @default.
- W2095452654 hasRelatedWork W2026880718 @default.
- W2095452654 hasRelatedWork W2096620499 @default.
- W2095452654 hasRelatedWork W2097997295 @default.
- W2095452654 hasRelatedWork W2124667771 @default.
- W2095452654 hasRelatedWork W2141358253 @default.
- W2095452654 hasRelatedWork W2172121474 @default.
- W2095452654 hasRelatedWork W2536421901 @default.
- W2095452654 hasRelatedWork W3147230685 @default.
- W2095452654 hasRelatedWork W2126468741 @default.
- W2095452654 hasRelatedWork W2168653069 @default.
- W2095452654 isParatext "false" @default.
- W2095452654 isRetracted "false" @default.
- W2095452654 magId "2095452654" @default.
- W2095452654 workType "article" @default.