Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125353931> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2125353931 abstract "An approach is presented for automatic formal verification of digital hardware designs using Prolog. Validation of design correctness is made by formal proof as an alternative to the traditional approach which utilizes simulation. A hardware design methodology based on this framework entails: writing a specification of required design, designing a circuit intended to implement it, and proving mathematically that the design meets its specification. Prolog is used both as a representational language for describing the design specification and implementation and also as an inference mechanism for proving its functional correctness. A developed verification system has enough domain specific and general mathematical knowledge to perform the proofs largely automatically. Designs can be handled from the transistor level up to the architectural levels. Some large designs, including a simple computer, have already been verified. >" @default.
- W2125353931 created "2016-06-24" @default.
- W2125353931 creator A5000408268 @default.
- W2125353931 creator A5005386449 @default.
- W2125353931 creator A5016050746 @default.
- W2125353931 date "2003-01-06" @default.
- W2125353931 modified "2023-09-26" @default.
- W2125353931 title "Tool for system design verification" @default.
- W2125353931 doi "https://doi.org/10.1109/cmpeur.1988.4941" @default.
- W2125353931 hasPublicationYear "2003" @default.
- W2125353931 type Work @default.
- W2125353931 sameAs 2125353931 @default.
- W2125353931 citedByCount "1" @default.
- W2125353931 crossrefType "proceedings-article" @default.
- W2125353931 hasAuthorship W2125353931A5000408268 @default.
- W2125353931 hasAuthorship W2125353931A5005386449 @default.
- W2125353931 hasAuthorship W2125353931A5016050746 @default.
- W2125353931 hasConcept C108710211 @default.
- W2125353931 hasConcept C111498074 @default.
- W2125353931 hasConcept C116253237 @default.
- W2125353931 hasConcept C134306372 @default.
- W2125353931 hasConcept C199360897 @default.
- W2125353931 hasConcept C2524010 @default.
- W2125353931 hasConcept C33923547 @default.
- W2125353931 hasConcept C36503486 @default.
- W2125353931 hasConcept C41008148 @default.
- W2125353931 hasConcept C55439883 @default.
- W2125353931 hasConcept C62460635 @default.
- W2125353931 hasConcept C75606506 @default.
- W2125353931 hasConcept C81721847 @default.
- W2125353931 hasConceptScore W2125353931C108710211 @default.
- W2125353931 hasConceptScore W2125353931C111498074 @default.
- W2125353931 hasConceptScore W2125353931C116253237 @default.
- W2125353931 hasConceptScore W2125353931C134306372 @default.
- W2125353931 hasConceptScore W2125353931C199360897 @default.
- W2125353931 hasConceptScore W2125353931C2524010 @default.
- W2125353931 hasConceptScore W2125353931C33923547 @default.
- W2125353931 hasConceptScore W2125353931C36503486 @default.
- W2125353931 hasConceptScore W2125353931C41008148 @default.
- W2125353931 hasConceptScore W2125353931C55439883 @default.
- W2125353931 hasConceptScore W2125353931C62460635 @default.
- W2125353931 hasConceptScore W2125353931C75606506 @default.
- W2125353931 hasConceptScore W2125353931C81721847 @default.
- W2125353931 hasLocation W21253539311 @default.
- W2125353931 hasOpenAccess W2125353931 @default.
- W2125353931 hasPrimaryLocation W21253539311 @default.
- W2125353931 hasRelatedWork W1485597611 @default.
- W2125353931 hasRelatedWork W1493466221 @default.
- W2125353931 hasRelatedWork W1521970363 @default.
- W2125353931 hasRelatedWork W1567168561 @default.
- W2125353931 hasRelatedWork W1631441013 @default.
- W2125353931 hasRelatedWork W1984634196 @default.
- W2125353931 hasRelatedWork W2001406723 @default.
- W2125353931 hasRelatedWork W2036945707 @default.
- W2125353931 hasRelatedWork W2065785821 @default.
- W2125353931 hasRelatedWork W2106507440 @default.
- W2125353931 hasRelatedWork W2118098056 @default.
- W2125353931 hasRelatedWork W2126886617 @default.
- W2125353931 hasRelatedWork W2128866814 @default.
- W2125353931 hasRelatedWork W2137182662 @default.
- W2125353931 hasRelatedWork W2141443374 @default.
- W2125353931 hasRelatedWork W2152691384 @default.
- W2125353931 hasRelatedWork W2162615969 @default.
- W2125353931 hasRelatedWork W2168362805 @default.
- W2125353931 hasRelatedWork W2542209384 @default.
- W2125353931 hasRelatedWork W2100250478 @default.
- W2125353931 isParatext "false" @default.
- W2125353931 isRetracted "false" @default.
- W2125353931 magId "2125353931" @default.
- W2125353931 workType "article" @default.