Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045081730> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2045081730 abstract "We present a formal logic verification methodology for combinational circuits. The method uses simulation, logic diagnosis and ATPG to identify circuit lines that implement equivalent logic functions efficiently. One advantage of the proposed technique is that it identifies line equivalences under controllability and observability don't care conditions, while not suffering from false negatives. The method is easy to implement, and, due to its general nature, existing techniques can benefit from ideas described here. We also give implementation details and present experiments to confirm its potential." @default.
- W2045081730 created "2016-06-24" @default.
- W2045081730 creator A5005255744 @default.
- W2045081730 creator A5009841786 @default.
- W2045081730 creator A5011349515 @default.
- W2045081730 date "2003-01-01" @default.
- W2045081730 modified "2023-10-17" @default.
- W2045081730 title "Logic verification based on diagnosis techniques" @default.
- W2045081730 cites W1655085154 @default.
- W2045081730 cites W1879281873 @default.
- W2045081730 cites W1991547699 @default.
- W2045081730 cites W2006414349 @default.
- W2045081730 cites W2053446892 @default.
- W2045081730 cites W2069560114 @default.
- W2045081730 cites W2080267935 @default.
- W2045081730 cites W2096541971 @default.
- W2045081730 cites W2112770269 @default.
- W2045081730 cites W2115559389 @default.
- W2045081730 cites W2127735256 @default.
- W2045081730 cites W2137035823 @default.
- W2045081730 cites W2139171217 @default.
- W2045081730 cites W2147897801 @default.
- W2045081730 cites W2153576409 @default.
- W2045081730 cites W2161764069 @default.
- W2045081730 cites W2162226695 @default.
- W2045081730 cites W2165430630 @default.
- W2045081730 cites W2173124859 @default.
- W2045081730 cites W2098306334 @default.
- W2045081730 doi "https://doi.org/10.1145/1119772.1119791" @default.
- W2045081730 hasPublicationYear "2003" @default.
- W2045081730 type Work @default.
- W2045081730 sameAs 2045081730 @default.
- W2045081730 citedByCount "6" @default.
- W2045081730 countsByYear W20450817302018 @default.
- W2045081730 crossrefType "proceedings-article" @default.
- W2045081730 hasAuthorship W2045081730A5005255744 @default.
- W2045081730 hasAuthorship W2045081730A5009841786 @default.
- W2045081730 hasAuthorship W2045081730A5011349515 @default.
- W2045081730 hasConcept C113775141 @default.
- W2045081730 hasConcept C11413529 @default.
- W2045081730 hasConcept C119599485 @default.
- W2045081730 hasConcept C127413603 @default.
- W2045081730 hasConcept C131017901 @default.
- W2045081730 hasConcept C134146338 @default.
- W2045081730 hasConcept C157922185 @default.
- W2045081730 hasConcept C17626397 @default.
- W2045081730 hasConcept C187075797 @default.
- W2045081730 hasConcept C28449271 @default.
- W2045081730 hasConcept C28826006 @default.
- W2045081730 hasConcept C33923547 @default.
- W2045081730 hasConcept C34854456 @default.
- W2045081730 hasConcept C36299963 @default.
- W2045081730 hasConcept C41008148 @default.
- W2045081730 hasConcept C48209547 @default.
- W2045081730 hasConcept C80444323 @default.
- W2045081730 hasConcept C81409106 @default.
- W2045081730 hasConcept C81843906 @default.
- W2045081730 hasConceptScore W2045081730C113775141 @default.
- W2045081730 hasConceptScore W2045081730C11413529 @default.
- W2045081730 hasConceptScore W2045081730C119599485 @default.
- W2045081730 hasConceptScore W2045081730C127413603 @default.
- W2045081730 hasConceptScore W2045081730C131017901 @default.
- W2045081730 hasConceptScore W2045081730C134146338 @default.
- W2045081730 hasConceptScore W2045081730C157922185 @default.
- W2045081730 hasConceptScore W2045081730C17626397 @default.
- W2045081730 hasConceptScore W2045081730C187075797 @default.
- W2045081730 hasConceptScore W2045081730C28449271 @default.
- W2045081730 hasConceptScore W2045081730C28826006 @default.
- W2045081730 hasConceptScore W2045081730C33923547 @default.
- W2045081730 hasConceptScore W2045081730C34854456 @default.
- W2045081730 hasConceptScore W2045081730C36299963 @default.
- W2045081730 hasConceptScore W2045081730C41008148 @default.
- W2045081730 hasConceptScore W2045081730C48209547 @default.
- W2045081730 hasConceptScore W2045081730C80444323 @default.
- W2045081730 hasConceptScore W2045081730C81409106 @default.
- W2045081730 hasConceptScore W2045081730C81843906 @default.
- W2045081730 hasLocation W20450817301 @default.
- W2045081730 hasOpenAccess W2045081730 @default.
- W2045081730 hasPrimaryLocation W20450817301 @default.
- W2045081730 hasRelatedWork W1532058475 @default.
- W2045081730 hasRelatedWork W1652311832 @default.
- W2045081730 hasRelatedWork W2118300983 @default.
- W2045081730 hasRelatedWork W2135396778 @default.
- W2045081730 hasRelatedWork W2166247150 @default.
- W2045081730 hasRelatedWork W2243428364 @default.
- W2045081730 hasRelatedWork W2462453872 @default.
- W2045081730 hasRelatedWork W3207171446 @default.
- W2045081730 hasRelatedWork W4243252198 @default.
- W2045081730 hasRelatedWork W4245713008 @default.
- W2045081730 isParatext "false" @default.
- W2045081730 isRetracted "false" @default.
- W2045081730 magId "2045081730" @default.
- W2045081730 workType "article" @default.