Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119765140> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2119765140 abstract "The development of high speed, large capacity hardware systems for logic simulation makes boolean comparison of logic networks feasible for designs of practical importance. Boolean comparison provides a complete check of functional equivalence of two logic networks and is a valuable tool in design verification. This paper describes virtual logic that controls the boolean comparison process and provides large reductions in the required number of test cases for many practical design problems. The virtual logic is simulated by the logic simulation system at the same time as the two models are simulated for test cases. The virtual logic has the task of generating new test cases such that the entire input space is covered but minimizing the number of test vectors required. Multivalued logic simulation and other techniques are used to achieve the reductions. Since the entire boolean comparison task is completed without assistance of a general purpose host system the usual communication overhead is avoided. The techniques described are suitable for high speed logic simulators. The simulation system for the work described here was the Engineering Verification Engine (EVE) developed by IBM but other simulation systems provide similar capability." @default.
- W2119765140 created "2016-06-24" @default.
- W2119765140 creator A5034318103 @default.
- W2119765140 creator A5047373220 @default.
- W2119765140 date "1987-01-01" @default.
- W2119765140 modified "2023-09-26" @default.
- W2119765140 title "Boolean comparison by simulation" @default.
- W2119765140 cites W1970112123 @default.
- W2119765140 cites W2002287194 @default.
- W2119765140 cites W2050831047 @default.
- W2119765140 cites W2109103805 @default.
- W2119765140 cites W2112525359 @default.
- W2119765140 cites W2133528182 @default.
- W2119765140 cites W2144977947 @default.
- W2119765140 cites W2148752144 @default.
- W2119765140 doi "https://doi.org/10.1145/37888.37979" @default.
- W2119765140 hasPublicationYear "1987" @default.
- W2119765140 type Work @default.
- W2119765140 sameAs 2119765140 @default.
- W2119765140 citedByCount "2" @default.
- W2119765140 countsByYear W21197651402015 @default.
- W2119765140 crossrefType "proceedings-article" @default.
- W2119765140 hasAuthorship W2119765140A5034318103 @default.
- W2119765140 hasAuthorship W2119765140A5047373220 @default.
- W2119765140 hasBestOaLocation W21197651401 @default.
- W2119765140 hasConcept C113775141 @default.
- W2119765140 hasConcept C11413529 @default.
- W2119765140 hasConcept C118615104 @default.
- W2119765140 hasConcept C131017901 @default.
- W2119765140 hasConcept C141796577 @default.
- W2119765140 hasConcept C157922185 @default.
- W2119765140 hasConcept C162454741 @default.
- W2119765140 hasConcept C196836630 @default.
- W2119765140 hasConcept C2780069185 @default.
- W2119765140 hasConcept C28449271 @default.
- W2119765140 hasConcept C33923547 @default.
- W2119765140 hasConcept C34854456 @default.
- W2119765140 hasConcept C41008148 @default.
- W2119765140 hasConcept C64859876 @default.
- W2119765140 hasConcept C80444323 @default.
- W2119765140 hasConcept C81409106 @default.
- W2119765140 hasConceptScore W2119765140C113775141 @default.
- W2119765140 hasConceptScore W2119765140C11413529 @default.
- W2119765140 hasConceptScore W2119765140C118615104 @default.
- W2119765140 hasConceptScore W2119765140C131017901 @default.
- W2119765140 hasConceptScore W2119765140C141796577 @default.
- W2119765140 hasConceptScore W2119765140C157922185 @default.
- W2119765140 hasConceptScore W2119765140C162454741 @default.
- W2119765140 hasConceptScore W2119765140C196836630 @default.
- W2119765140 hasConceptScore W2119765140C2780069185 @default.
- W2119765140 hasConceptScore W2119765140C28449271 @default.
- W2119765140 hasConceptScore W2119765140C33923547 @default.
- W2119765140 hasConceptScore W2119765140C34854456 @default.
- W2119765140 hasConceptScore W2119765140C41008148 @default.
- W2119765140 hasConceptScore W2119765140C64859876 @default.
- W2119765140 hasConceptScore W2119765140C80444323 @default.
- W2119765140 hasConceptScore W2119765140C81409106 @default.
- W2119765140 hasLocation W21197651401 @default.
- W2119765140 hasOpenAccess W2119765140 @default.
- W2119765140 hasPrimaryLocation W21197651401 @default.
- W2119765140 hasRelatedWork W1491374444 @default.
- W2119765140 hasRelatedWork W1496882086 @default.
- W2119765140 hasRelatedWork W1602476740 @default.
- W2119765140 hasRelatedWork W1777522234 @default.
- W2119765140 hasRelatedWork W1875129848 @default.
- W2119765140 hasRelatedWork W1877932305 @default.
- W2119765140 hasRelatedWork W2011934542 @default.
- W2119765140 hasRelatedWork W2020386735 @default.
- W2119765140 hasRelatedWork W2035444316 @default.
- W2119765140 hasRelatedWork W2093749125 @default.
- W2119765140 hasRelatedWork W2100126165 @default.
- W2119765140 hasRelatedWork W2103485967 @default.
- W2119765140 hasRelatedWork W2140132043 @default.
- W2119765140 hasRelatedWork W2150119568 @default.
- W2119765140 hasRelatedWork W2169449727 @default.
- W2119765140 hasRelatedWork W2381331352 @default.
- W2119765140 hasRelatedWork W2536123300 @default.
- W2119765140 hasRelatedWork W2542603820 @default.
- W2119765140 hasRelatedWork W2062074890 @default.
- W2119765140 hasRelatedWork W2233148780 @default.
- W2119765140 isParatext "false" @default.
- W2119765140 isRetracted "false" @default.
- W2119765140 magId "2119765140" @default.
- W2119765140 workType "article" @default.