Matches in SemOpenAlex for { <https://semopenalex.org/work/W1631441013> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1631441013 abstract "A functional approach to formal specification and verification of digital circuits is introduced. A past operator is defined in order to describe sequential behaviors. Prolog is used both as a hardware description language and also as an inference mechanism for proving the correctness of the design. The verification process runs largely automatically. Some designs with an interesting degree of complexity have already been verified. >" @default.
- W1631441013 created "2016-06-24" @default.
- W1631441013 creator A5005386449 @default.
- W1631441013 creator A5016050746 @default.
- W1631441013 date "2002-12-10" @default.
- W1631441013 modified "2023-09-25" @default.
- W1631441013 title "A functional-based approach to formal VLSI design verification" @default.
- W1631441013 cites W133429676 @default.
- W1631441013 cites W1582353327 @default.
- W1631441013 cites W1586338668 @default.
- W1631441013 cites W1965435700 @default.
- W1631441013 cites W1984634196 @default.
- W1631441013 cites W2014393101 @default.
- W1631441013 cites W2016172299 @default.
- W1631441013 cites W2036800932 @default.
- W1631441013 cites W2083925169 @default.
- W1631441013 cites W2109883492 @default.
- W1631441013 cites W2125353931 @default.
- W1631441013 cites W2893886114 @default.
- W1631441013 cites W3046278241 @default.
- W1631441013 doi "https://doi.org/10.1109/cmpeur.1991.257403" @default.
- W1631441013 hasPublicationYear "2002" @default.
- W1631441013 type Work @default.
- W1631441013 sameAs 1631441013 @default.
- W1631441013 citedByCount "0" @default.
- W1631441013 crossrefType "proceedings-article" @default.
- W1631441013 hasAuthorship W1631441013A5005386449 @default.
- W1631441013 hasAuthorship W1631441013A5016050746 @default.
- W1631441013 hasConcept C111498074 @default.
- W1631441013 hasConcept C116253237 @default.
- W1631441013 hasConcept C14580979 @default.
- W1631441013 hasConcept C149635348 @default.
- W1631441013 hasConcept C186846655 @default.
- W1631441013 hasConcept C187250869 @default.
- W1631441013 hasConcept C199360897 @default.
- W1631441013 hasConcept C2777904410 @default.
- W1631441013 hasConcept C3406870 @default.
- W1631441013 hasConcept C41008148 @default.
- W1631441013 hasConcept C529173508 @default.
- W1631441013 hasConcept C55439883 @default.
- W1631441013 hasConcept C62460635 @default.
- W1631441013 hasConcept C75606506 @default.
- W1631441013 hasConcept C80444323 @default.
- W1631441013 hasConcept C81721847 @default.
- W1631441013 hasConceptScore W1631441013C111498074 @default.
- W1631441013 hasConceptScore W1631441013C116253237 @default.
- W1631441013 hasConceptScore W1631441013C14580979 @default.
- W1631441013 hasConceptScore W1631441013C149635348 @default.
- W1631441013 hasConceptScore W1631441013C186846655 @default.
- W1631441013 hasConceptScore W1631441013C187250869 @default.
- W1631441013 hasConceptScore W1631441013C199360897 @default.
- W1631441013 hasConceptScore W1631441013C2777904410 @default.
- W1631441013 hasConceptScore W1631441013C3406870 @default.
- W1631441013 hasConceptScore W1631441013C41008148 @default.
- W1631441013 hasConceptScore W1631441013C529173508 @default.
- W1631441013 hasConceptScore W1631441013C55439883 @default.
- W1631441013 hasConceptScore W1631441013C62460635 @default.
- W1631441013 hasConceptScore W1631441013C75606506 @default.
- W1631441013 hasConceptScore W1631441013C80444323 @default.
- W1631441013 hasConceptScore W1631441013C81721847 @default.
- W1631441013 hasLocation W16314410131 @default.
- W1631441013 hasOpenAccess W1631441013 @default.
- W1631441013 hasPrimaryLocation W16314410131 @default.
- W1631441013 hasRelatedWork W1485597611 @default.
- W1631441013 hasRelatedWork W1574742821 @default.
- W1631441013 hasRelatedWork W1875254328 @default.
- W1631441013 hasRelatedWork W1984634196 @default.
- W1631441013 hasRelatedWork W2001406723 @default.
- W1631441013 hasRelatedWork W2065785821 @default.
- W1631441013 hasRelatedWork W2105182891 @default.
- W1631441013 hasRelatedWork W2106507440 @default.
- W1631441013 hasRelatedWork W2115968267 @default.
- W1631441013 hasRelatedWork W2120072298 @default.
- W1631441013 hasRelatedWork W2125353931 @default.
- W1631441013 hasRelatedWork W2126886617 @default.
- W1631441013 hasRelatedWork W2137182662 @default.
- W1631441013 hasRelatedWork W2141443374 @default.
- W1631441013 hasRelatedWork W2150647866 @default.
- W1631441013 hasRelatedWork W2152691384 @default.
- W1631441013 hasRelatedWork W2162615969 @default.
- W1631441013 hasRelatedWork W2168362805 @default.
- W1631441013 hasRelatedWork W2537827883 @default.
- W1631441013 hasRelatedWork W2542209384 @default.
- W1631441013 isParatext "false" @default.
- W1631441013 isRetracted "false" @default.
- W1631441013 magId "1631441013" @default.
- W1631441013 workType "article" @default.