Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021151473> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2021151473 endingPage "257" @default.
- W2021151473 startingPage "251" @default.
- W2021151473 abstract "Integrated circuit verification is required to establish the correctness of a circuit design before fabrication. This paper proposes CIRCAL as a model in which to describe the behaviour of devices in a natural, concise and accurate manner. CIRCAL supports a number of verification techniques which allow for the formal analysis of circuit behaviour. Properties of the model are outlined while simulation and proof techniques using CIRCAL are presented." @default.
- W2021151473 created "2016-06-24" @default.
- W2021151473 creator A5020718618 @default.
- W2021151473 date "1984-06-25" @default.
- W2021151473 modified "2023-09-26" @default.
- W2021151473 title "A Model for Hardware Description and Verification" @default.
- W2021151473 cites W124921744 @default.
- W2021151473 cites W1666015432 @default.
- W2021151473 cites W1770179568 @default.
- W2021151473 cites W1997273919 @default.
- W2021151473 cites W2085912345 @default.
- W2021151473 cites W2089448146 @default.
- W2021151473 cites W2110425399 @default.
- W2021151473 cites W2137865376 @default.
- W2021151473 doi "https://doi.org/10.5555/800033.800804" @default.
- W2021151473 hasPublicationYear "1984" @default.
- W2021151473 type Work @default.
- W2021151473 sameAs 2021151473 @default.
- W2021151473 citedByCount "2" @default.
- W2021151473 crossrefType "proceedings-article" @default.
- W2021151473 hasAuthorship W2021151473A5020718618 @default.
- W2021151473 hasConcept C110251889 @default.
- W2021151473 hasConcept C111498074 @default.
- W2021151473 hasConcept C118524514 @default.
- W2021151473 hasConcept C119599485 @default.
- W2021151473 hasConcept C127413603 @default.
- W2021151473 hasConcept C149635348 @default.
- W2021151473 hasConcept C165801399 @default.
- W2021151473 hasConcept C199360897 @default.
- W2021151473 hasConcept C23572009 @default.
- W2021151473 hasConcept C26490066 @default.
- W2021151473 hasConcept C41008148 @default.
- W2021151473 hasConcept C55439883 @default.
- W2021151473 hasConcept C62460635 @default.
- W2021151473 hasConceptScore W2021151473C110251889 @default.
- W2021151473 hasConceptScore W2021151473C111498074 @default.
- W2021151473 hasConceptScore W2021151473C118524514 @default.
- W2021151473 hasConceptScore W2021151473C119599485 @default.
- W2021151473 hasConceptScore W2021151473C127413603 @default.
- W2021151473 hasConceptScore W2021151473C149635348 @default.
- W2021151473 hasConceptScore W2021151473C165801399 @default.
- W2021151473 hasConceptScore W2021151473C199360897 @default.
- W2021151473 hasConceptScore W2021151473C23572009 @default.
- W2021151473 hasConceptScore W2021151473C26490066 @default.
- W2021151473 hasConceptScore W2021151473C41008148 @default.
- W2021151473 hasConceptScore W2021151473C55439883 @default.
- W2021151473 hasConceptScore W2021151473C62460635 @default.
- W2021151473 hasLocation W20211514731 @default.
- W2021151473 hasOpenAccess W2021151473 @default.
- W2021151473 hasPrimaryLocation W20211514731 @default.
- W2021151473 hasRelatedWork W1567168561 @default.
- W2021151473 hasRelatedWork W1631441013 @default.
- W2021151473 hasRelatedWork W1767576284 @default.
- W2021151473 hasRelatedWork W1967686058 @default.
- W2021151473 hasRelatedWork W2001406723 @default.
- W2021151473 hasRelatedWork W2003823575 @default.
- W2021151473 hasRelatedWork W2020466520 @default.
- W2021151473 hasRelatedWork W2036945707 @default.
- W2021151473 hasRelatedWork W2096336201 @default.
- W2021151473 hasRelatedWork W2106507440 @default.
- W2021151473 hasRelatedWork W2112806469 @default.
- W2021151473 hasRelatedWork W2118572231 @default.
- W2021151473 hasRelatedWork W2125353931 @default.
- W2021151473 hasRelatedWork W2135623641 @default.
- W2021151473 hasRelatedWork W2152383599 @default.
- W2021151473 hasRelatedWork W2160241694 @default.
- W2021151473 hasRelatedWork W2165476296 @default.
- W2021151473 hasRelatedWork W2168362805 @default.
- W2021151473 hasRelatedWork W2611356538 @default.
- W2021151473 hasRelatedWork W2100250478 @default.
- W2021151473 isParatext "false" @default.
- W2021151473 isRetracted "false" @default.
- W2021151473 magId "2021151473" @default.
- W2021151473 workType "article" @default.