FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1952128916> ?p ?o ?g. }

• W1952128916 abstract "In this paper we present the application of random simulation in formal verification of functional equivalence of hardware designs. We demonstrate that random simulation can effectively complement BDD-based verification approaches in three areas: (1) quick generation of counter example pattern for miscomparing designs, (2) exhaustive comparison of small functions, and (3) providing meaningful signatures for design partitioning based on functionally equivalent cut-points. The presentation describes a smooth and efficient integration of a simulation algorithm into a general verification framework. In this framework the simulator can be applied as one of various engines for Boolean reasoning the outcome of which might be undecided." @default.
• W1952128916 created "2016-06-24" @default.
• W1952128916 creator A5030706862 @default.
• W1952128916 creator A5036676294 @default.
• W1952128916 creator A5069178119 @default.
• W1952128916 date "2002-12-24" @default.
• W1952128916 modified "2023-09-26" @default.
• W1952128916 title "The use of random simulation in formal verification" @default.
• W1952128916 cites W2012336463 @default.
• W1952128916 cites W2080267935 @default.
• W1952128916 cites W2135453964 @default.
• W1952128916 cites W2161280291 @default.
• W1952128916 cites W96727551 @default.
• W1952128916 doi "https://doi.org/10.1109/iccd.1996.563581" @default.
• W1952128916 hasPublicationYear "2002" @default.
• W1952128916 type Work @default.
• W1952128916 sameAs 1952128916 @default.
• W1952128916 citedByCount "22" @default.
• W1952128916 countsByYear W19521289162012 @default.
• W1952128916 countsByYear W19521289162014 @default.
• W1952128916 countsByYear W19521289162015 @default.
• W1952128916 countsByYear W19521289162017 @default.
• W1952128916 countsByYear W19521289162018 @default.
• W1952128916 crossrefType "proceedings-article" @default.
• W1952128916 hasAuthorship W1952128916A5030706862 @default.
• W1952128916 hasAuthorship W1952128916A5036676294 @default.
• W1952128916 hasAuthorship W1952128916A5069178119 @default.
• W1952128916 hasConcept C104317684 @default.
• W1952128916 hasConcept C111498074 @default.
• W1952128916 hasConcept C112313634 @default.
• W1952128916 hasConcept C113775141 @default.
• W1952128916 hasConcept C11413529 @default.
• W1952128916 hasConcept C118615104 @default.
• W1952128916 hasConcept C127716648 @default.
• W1952128916 hasConcept C131017901 @default.
• W1952128916 hasConcept C185592680 @default.
• W1952128916 hasConcept C186846655 @default.
• W1952128916 hasConcept C187250869 @default.
• W1952128916 hasConcept C188082640 @default.
• W1952128916 hasConcept C199360897 @default.
• W1952128916 hasConcept C201866948 @default.
• W1952128916 hasConcept C2777904410 @default.
• W1952128916 hasConcept C2780069185 @default.
• W1952128916 hasConcept C33923547 @default.
• W1952128916 hasConcept C3406870 @default.
• W1952128916 hasConcept C41008148 @default.
• W1952128916 hasConcept C529173508 @default.
• W1952128916 hasConcept C55493867 @default.
• W1952128916 hasConcept C62460635 @default.
• W1952128916 hasConcept C64859876 @default.
• W1952128916 hasConcept C80444323 @default.
• W1952128916 hasConcept C96654402 @default.
• W1952128916 hasConceptScore W1952128916C104317684 @default.
• W1952128916 hasConceptScore W1952128916C111498074 @default.
• W1952128916 hasConceptScore W1952128916C112313634 @default.
• W1952128916 hasConceptScore W1952128916C113775141 @default.
• W1952128916 hasConceptScore W1952128916C11413529 @default.
• W1952128916 hasConceptScore W1952128916C118615104 @default.
• W1952128916 hasConceptScore W1952128916C127716648 @default.
• W1952128916 hasConceptScore W1952128916C131017901 @default.
• W1952128916 hasConceptScore W1952128916C185592680 @default.
• W1952128916 hasConceptScore W1952128916C186846655 @default.
• W1952128916 hasConceptScore W1952128916C187250869 @default.
• W1952128916 hasConceptScore W1952128916C188082640 @default.
• W1952128916 hasConceptScore W1952128916C199360897 @default.
• W1952128916 hasConceptScore W1952128916C201866948 @default.
• W1952128916 hasConceptScore W1952128916C2777904410 @default.
• W1952128916 hasConceptScore W1952128916C2780069185 @default.
• W1952128916 hasConceptScore W1952128916C33923547 @default.
• W1952128916 hasConceptScore W1952128916C3406870 @default.
• W1952128916 hasConceptScore W1952128916C41008148 @default.
• W1952128916 hasConceptScore W1952128916C529173508 @default.
• W1952128916 hasConceptScore W1952128916C55493867 @default.
• W1952128916 hasConceptScore W1952128916C62460635 @default.
• W1952128916 hasConceptScore W1952128916C64859876 @default.
• W1952128916 hasConceptScore W1952128916C80444323 @default.
• W1952128916 hasConceptScore W1952128916C96654402 @default.
• W1952128916 hasLocation W19521289161 @default.
• W1952128916 hasOpenAccess W1952128916 @default.
• W1952128916 hasPrimaryLocation W19521289161 @default.
• W1952128916 hasRelatedWork W1511688816 @default.
• W1952128916 hasRelatedWork W1566041312 @default.
• W1952128916 hasRelatedWork W2053446892 @default.
• W1952128916 hasRelatedWork W2069560114 @default.
• W1952128916 hasRelatedWork W2080267935 @default.
• W1952128916 hasRelatedWork W2096133083 @default.
• W1952128916 hasRelatedWork W2120925552 @default.
• W1952128916 hasRelatedWork W2130540187 @default.
• W1952128916 hasRelatedWork W2131811951 @default.
• W1952128916 hasRelatedWork W2137035823 @default.
• W1952128916 hasRelatedWork W2155562553 @default.
• W1952128916 hasRelatedWork W2161280291 @default.
• W1952128916 hasRelatedWork W2188057831 @default.
• W1952128916 hasRelatedWork W2299263495 @default.
• W1952128916 hasRelatedWork W2792237047 @default.
• W1952128916 hasRelatedWork W2884181463 @default.
• W1952128916 hasRelatedWork W129880873 @default.
• W1952128916 hasRelatedWork W2235039112 @default.
• W1952128916 hasRelatedWork W2240470259 @default.
• W1952128916 hasRelatedWork W2242409505 @default.

• next