Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103336723> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2103336723 abstract "Formal verification questions are often formulated in one of two forms. First, called “property check”, is between a property p and a model M of a design, and is posed as “Is p true of M?” Second, called “implementation check”, is between models MI and M2 of two designs and is posed as “Is M2 an implementation of MI?’ employs one of three techniques, namely: theorem proving, model checking, and equivalence checking. Theorem proving is the most general of these techniques, has a steep learning curve, and its use in hardware verification is still" @default.
- W2103336723 created "2016-06-24" @default.
- W2103336723 creator A5064084070 @default.
- W2103336723 date "2005-08-25" @default.
- W2103336723 modified "2023-09-26" @default.
- W2103336723 title "Formal Hardware Verification: A Users' View Summary" @default.
- W2103336723 cites W2012336463 @default.
- W2103336723 cites W2117189826 @default.
- W2103336723 doi "https://doi.org/10.1109/asic.1998.723088" @default.
- W2103336723 hasPublicationYear "2005" @default.
- W2103336723 type Work @default.
- W2103336723 sameAs 2103336723 @default.
- W2103336723 citedByCount "0" @default.
- W2103336723 crossrefType "proceedings-article" @default.
- W2103336723 hasAuthorship W2103336723A5064084070 @default.
- W2103336723 hasConcept C110251889 @default.
- W2103336723 hasConcept C111472728 @default.
- W2103336723 hasConcept C111498074 @default.
- W2103336723 hasConcept C118615104 @default.
- W2103336723 hasConcept C138885662 @default.
- W2103336723 hasConcept C142284323 @default.
- W2103336723 hasConcept C186846655 @default.
- W2103336723 hasConcept C189950617 @default.
- W2103336723 hasConcept C199360897 @default.
- W2103336723 hasConcept C206880738 @default.
- W2103336723 hasConcept C2777904410 @default.
- W2103336723 hasConcept C2780069185 @default.
- W2103336723 hasConcept C33923547 @default.
- W2103336723 hasConcept C3406870 @default.
- W2103336723 hasConcept C41008148 @default.
- W2103336723 hasConcept C529173508 @default.
- W2103336723 hasConcept C62460635 @default.
- W2103336723 hasConcept C75606506 @default.
- W2103336723 hasConcept C80444323 @default.
- W2103336723 hasConcept C96654402 @default.
- W2103336723 hasConceptScore W2103336723C110251889 @default.
- W2103336723 hasConceptScore W2103336723C111472728 @default.
- W2103336723 hasConceptScore W2103336723C111498074 @default.
- W2103336723 hasConceptScore W2103336723C118615104 @default.
- W2103336723 hasConceptScore W2103336723C138885662 @default.
- W2103336723 hasConceptScore W2103336723C142284323 @default.
- W2103336723 hasConceptScore W2103336723C186846655 @default.
- W2103336723 hasConceptScore W2103336723C189950617 @default.
- W2103336723 hasConceptScore W2103336723C199360897 @default.
- W2103336723 hasConceptScore W2103336723C206880738 @default.
- W2103336723 hasConceptScore W2103336723C2777904410 @default.
- W2103336723 hasConceptScore W2103336723C2780069185 @default.
- W2103336723 hasConceptScore W2103336723C33923547 @default.
- W2103336723 hasConceptScore W2103336723C3406870 @default.
- W2103336723 hasConceptScore W2103336723C41008148 @default.
- W2103336723 hasConceptScore W2103336723C529173508 @default.
- W2103336723 hasConceptScore W2103336723C62460635 @default.
- W2103336723 hasConceptScore W2103336723C75606506 @default.
- W2103336723 hasConceptScore W2103336723C80444323 @default.
- W2103336723 hasConceptScore W2103336723C96654402 @default.
- W2103336723 hasLocation W21033367231 @default.
- W2103336723 hasOpenAccess W2103336723 @default.
- W2103336723 hasPrimaryLocation W21033367231 @default.
- W2103336723 hasRelatedWork W100889298 @default.
- W2103336723 hasRelatedWork W118010866 @default.
- W2103336723 hasRelatedWork W1496802971 @default.
- W2103336723 hasRelatedWork W1501686914 @default.
- W2103336723 hasRelatedWork W1510484179 @default.
- W2103336723 hasRelatedWork W1511673888 @default.
- W2103336723 hasRelatedWork W1608891104 @default.
- W2103336723 hasRelatedWork W1764512891 @default.
- W2103336723 hasRelatedWork W1994879909 @default.
- W2103336723 hasRelatedWork W2123461729 @default.
- W2103336723 hasRelatedWork W2152660778 @default.
- W2103336723 hasRelatedWork W2153589395 @default.
- W2103336723 hasRelatedWork W2262937022 @default.
- W2103336723 hasRelatedWork W2496920491 @default.
- W2103336723 hasRelatedWork W2909108078 @default.
- W2103336723 hasRelatedWork W2911914924 @default.
- W2103336723 hasRelatedWork W2948024212 @default.
- W2103336723 hasRelatedWork W3009223079 @default.
- W2103336723 hasRelatedWork W3023384121 @default.
- W2103336723 hasRelatedWork W94313399 @default.
- W2103336723 isParatext "false" @default.
- W2103336723 isRetracted "false" @default.
- W2103336723 magId "2103336723" @default.
- W2103336723 workType "article" @default.