Matches in SemOpenAlex for { <https://semopenalex.org/work/W2355274299> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2355274299 abstract "Verilog is a kind of hardware description language used abroad in industrial fields, but the study on its formal semantics is not enough. This paper describes syntax and semantics of Verilog HDL with formal methods, and establishes an operational semantics of Verilog. We describe the states of non-intercurrent and intercurrent components by two-dimensional and four-dimensional arrays, depict state transition rules of different sentences, and portray the implementation of intercurrent programs with an example." @default.
- W2355274299 created "2016-06-24" @default.
- W2355274299 creator A5036677404 @default.
- W2355274299 date "2004-01-01" @default.
- W2355274299 modified "2023-09-26" @default.
- W2355274299 title "An Operational Semantics of Verilog" @default.
- W2355274299 hasPublicationYear "2004" @default.
- W2355274299 type Work @default.
- W2355274299 sameAs 2355274299 @default.
- W2355274299 citedByCount "0" @default.
- W2355274299 crossrefType "journal-article" @default.
- W2355274299 hasAuthorship W2355274299A5036677404 @default.
- W2355274299 hasConcept C146499914 @default.
- W2355274299 hasConcept C149635348 @default.
- W2355274299 hasConcept C156325763 @default.
- W2355274299 hasConcept C184337299 @default.
- W2355274299 hasConcept C199360897 @default.
- W2355274299 hasConcept C204321447 @default.
- W2355274299 hasConcept C2779030575 @default.
- W2355274299 hasConcept C41008148 @default.
- W2355274299 hasConcept C42935608 @default.
- W2355274299 hasConcept C48103436 @default.
- W2355274299 hasConcept C60048249 @default.
- W2355274299 hasConceptScore W2355274299C146499914 @default.
- W2355274299 hasConceptScore W2355274299C149635348 @default.
- W2355274299 hasConceptScore W2355274299C156325763 @default.
- W2355274299 hasConceptScore W2355274299C184337299 @default.
- W2355274299 hasConceptScore W2355274299C199360897 @default.
- W2355274299 hasConceptScore W2355274299C204321447 @default.
- W2355274299 hasConceptScore W2355274299C2779030575 @default.
- W2355274299 hasConceptScore W2355274299C41008148 @default.
- W2355274299 hasConceptScore W2355274299C42935608 @default.
- W2355274299 hasConceptScore W2355274299C48103436 @default.
- W2355274299 hasConceptScore W2355274299C60048249 @default.
- W2355274299 hasLocation W23552742991 @default.
- W2355274299 hasOpenAccess W2355274299 @default.
- W2355274299 hasPrimaryLocation W23552742991 @default.
- W2355274299 hasRelatedWork W1545032493 @default.
- W2355274299 hasRelatedWork W1852619812 @default.
- W2355274299 hasRelatedWork W2000182366 @default.
- W2355274299 hasRelatedWork W2106305471 @default.
- W2355274299 hasRelatedWork W2129022555 @default.
- W2355274299 hasRelatedWork W2129276634 @default.
- W2355274299 hasRelatedWork W2131403235 @default.
- W2355274299 hasRelatedWork W2138847668 @default.
- W2355274299 hasRelatedWork W2154982982 @default.
- W2355274299 hasRelatedWork W2164745459 @default.
- W2355274299 hasRelatedWork W2188386601 @default.
- W2355274299 hasRelatedWork W2295221401 @default.
- W2355274299 hasRelatedWork W2296493745 @default.
- W2355274299 hasRelatedWork W2360270877 @default.
- W2355274299 hasRelatedWork W2964513622 @default.
- W2355274299 hasRelatedWork W3021477639 @default.
- W2355274299 hasRelatedWork W3131606174 @default.
- W2355274299 hasRelatedWork W3150067715 @default.
- W2355274299 hasRelatedWork W769797923 @default.
- W2355274299 hasRelatedWork W140979183 @default.
- W2355274299 isParatext "false" @default.
- W2355274299 isRetracted "false" @default.
- W2355274299 magId "2355274299" @default.
- W2355274299 workType "article" @default.