Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141781571> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2141781571 abstract "A novel method is described for verifying the equivalence between a combinational circuit and its specification, when both are given in a modular (e.g., factored) form. It is based on the notion of cross-controllability and cross-observability relations that exist between the internal logic values across a cut of the joint composition of the circuit and the specification. It is proven that even after abstracting input and other internal variables the relations are sufficient to verify the equivalence. The abstraction allows reduction of the size of the relation, thus permitting the verification of much larger circuits. A report is presented on the verification of an 8*8 parallel multiplier using at most 527 BDD (binary decision diagram) cells of 21 variables. Extensions to sequential circuits are also discussed. >" @default.
- W2141781571 created "2016-06-24" @default.
- W2141781571 creator A5046552988 @default.
- W2141781571 creator A5081653744 @default.
- W2141781571 date "2002-12-04" @default.
- W2141781571 modified "2023-09-25" @default.
- W2141781571 title "Tautology checking using cross-controllability and cross-observability relations" @default.
- W2141781571 cites W1797398192 @default.
- W2141781571 cites W1994143452 @default.
- W2141781571 cites W2034570505 @default.
- W2141781571 cites W2080267935 @default.
- W2141781571 cites W2083131182 @default.
- W2141781571 cites W2102572436 @default.
- W2141781571 cites W3139668322 @default.
- W2141781571 doi "https://doi.org/10.1109/iccad.1990.129833" @default.
- W2141781571 hasPublicationYear "2002" @default.
- W2141781571 type Work @default.
- W2141781571 sameAs 2141781571 @default.
- W2141781571 citedByCount "29" @default.
- W2141781571 crossrefType "proceedings-article" @default.
- W2141781571 hasAuthorship W2141781571A5046552988 @default.
- W2141781571 hasAuthorship W2141781571A5081653744 @default.
- W2141781571 hasConcept C101468663 @default.
- W2141781571 hasConcept C102993220 @default.
- W2141781571 hasConcept C111498074 @default.
- W2141781571 hasConcept C11413529 @default.
- W2141781571 hasConcept C118615104 @default.
- W2141781571 hasConcept C131017901 @default.
- W2141781571 hasConcept C156103551 @default.
- W2141781571 hasConcept C166374712 @default.
- W2141781571 hasConcept C187075797 @default.
- W2141781571 hasConcept C199360897 @default.
- W2141781571 hasConcept C203659156 @default.
- W2141781571 hasConcept C28826006 @default.
- W2141781571 hasConcept C3309909 @default.
- W2141781571 hasConcept C33923547 @default.
- W2141781571 hasConcept C36299963 @default.
- W2141781571 hasConcept C3845977 @default.
- W2141781571 hasConcept C41008148 @default.
- W2141781571 hasConcept C48209547 @default.
- W2141781571 hasConcept C80444323 @default.
- W2141781571 hasConcept C96654402 @default.
- W2141781571 hasConceptScore W2141781571C101468663 @default.
- W2141781571 hasConceptScore W2141781571C102993220 @default.
- W2141781571 hasConceptScore W2141781571C111498074 @default.
- W2141781571 hasConceptScore W2141781571C11413529 @default.
- W2141781571 hasConceptScore W2141781571C118615104 @default.
- W2141781571 hasConceptScore W2141781571C131017901 @default.
- W2141781571 hasConceptScore W2141781571C156103551 @default.
- W2141781571 hasConceptScore W2141781571C166374712 @default.
- W2141781571 hasConceptScore W2141781571C187075797 @default.
- W2141781571 hasConceptScore W2141781571C199360897 @default.
- W2141781571 hasConceptScore W2141781571C203659156 @default.
- W2141781571 hasConceptScore W2141781571C28826006 @default.
- W2141781571 hasConceptScore W2141781571C3309909 @default.
- W2141781571 hasConceptScore W2141781571C33923547 @default.
- W2141781571 hasConceptScore W2141781571C36299963 @default.
- W2141781571 hasConceptScore W2141781571C3845977 @default.
- W2141781571 hasConceptScore W2141781571C41008148 @default.
- W2141781571 hasConceptScore W2141781571C48209547 @default.
- W2141781571 hasConceptScore W2141781571C80444323 @default.
- W2141781571 hasConceptScore W2141781571C96654402 @default.
- W2141781571 hasLocation W21417815711 @default.
- W2141781571 hasOpenAccess W2141781571 @default.
- W2141781571 hasPrimaryLocation W21417815711 @default.
- W2141781571 hasRelatedWork W1549834378 @default.
- W2141781571 hasRelatedWork W1602476740 @default.
- W2141781571 hasRelatedWork W1994143452 @default.
- W2141781571 hasRelatedWork W2053446892 @default.
- W2141781571 hasRelatedWork W2061438988 @default.
- W2141781571 hasRelatedWork W2069560114 @default.
- W2141781571 hasRelatedWork W2080267935 @default.
- W2141781571 hasRelatedWork W2098529560 @default.
- W2141781571 hasRelatedWork W2115571162 @default.
- W2141781571 hasRelatedWork W2116242425 @default.
- W2141781571 hasRelatedWork W2135453964 @default.
- W2141781571 hasRelatedWork W2137035823 @default.
- W2141781571 hasRelatedWork W2144491553 @default.
- W2141781571 hasRelatedWork W2149479807 @default.
- W2141781571 hasRelatedWork W2154030608 @default.
- W2141781571 hasRelatedWork W2155562553 @default.
- W2141781571 hasRelatedWork W2159683833 @default.
- W2141781571 hasRelatedWork W2161280291 @default.
- W2141781571 hasRelatedWork W2162226695 @default.
- W2141781571 hasRelatedWork W2167749768 @default.
- W2141781571 isParatext "false" @default.
- W2141781571 isRetracted "false" @default.
- W2141781571 magId "2141781571" @default.
- W2141781571 workType "article" @default.