Matches in SemOpenAlex for { <https://semopenalex.org/work/W2212134920> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2212134920 abstract "In the field of hardware development, it is essential to prove the correctness of a new design. In order to check a design, verification engineers often use assertions written in a property or hardware specification language. Sequence diagrams are well established in the field of software engineering and allow easy and compact specification of protocols. We propose to use sequence diagrams to specify register transfer level (RTL) behaviour and present an approach to automatically generate temporal properties out of these diagrams. The validity of the approach is illustrated by verifying a Wishbone system-on-a-chip (SoC) local interconnect bus." @default.
- W2212134920 created "2016-06-24" @default.
- W2212134920 creator A5015062824 @default.
- W2212134920 creator A5034449173 @default.
- W2212134920 creator A5067196340 @default.
- W2212134920 date "2011-01-01" @default.
- W2212134920 modified "2023-09-30" @default.
- W2212134920 title "Using Sequence Diagrams to Specify and to Generate RTL Assertions" @default.
- W2212134920 cites W1482962177 @default.
- W2212134920 cites W1565791729 @default.
- W2212134920 cites W1592055490 @default.
- W2212134920 cites W1993921835 @default.
- W2212134920 cites W2010332735 @default.
- W2212134920 cites W2017959828 @default.
- W2212134920 cites W2033019659 @default.
- W2212134920 cites W2108571087 @default.
- W2212134920 cites W2165097265 @default.
- W2212134920 cites W394657359 @default.
- W2212134920 doi "https://doi.org/10.14236/ewic/vecos2011.12" @default.
- W2212134920 hasPublicationYear "2011" @default.
- W2212134920 type Work @default.
- W2212134920 sameAs 2212134920 @default.
- W2212134920 citedByCount "2" @default.
- W2212134920 countsByYear W22121349202013 @default.
- W2212134920 countsByYear W22121349202018 @default.
- W2212134920 crossrefType "proceedings-article" @default.
- W2212134920 hasAuthorship W2212134920A5015062824 @default.
- W2212134920 hasAuthorship W2212134920A5034449173 @default.
- W2212134920 hasAuthorship W2212134920A5067196340 @default.
- W2212134920 hasBestOaLocation W22121349201 @default.
- W2212134920 hasConcept C111472728 @default.
- W2212134920 hasConcept C111498074 @default.
- W2212134920 hasConcept C118524514 @default.
- W2212134920 hasConcept C138885662 @default.
- W2212134920 hasConcept C145644426 @default.
- W2212134920 hasConcept C153185123 @default.
- W2212134920 hasConcept C189950617 @default.
- W2212134920 hasConcept C199360897 @default.
- W2212134920 hasConcept C202444582 @default.
- W2212134920 hasConcept C2777904410 @default.
- W2212134920 hasConcept C2778112365 @default.
- W2212134920 hasConcept C33923547 @default.
- W2212134920 hasConcept C41008148 @default.
- W2212134920 hasConcept C54355233 @default.
- W2212134920 hasConcept C55439883 @default.
- W2212134920 hasConcept C80444323 @default.
- W2212134920 hasConcept C86803240 @default.
- W2212134920 hasConcept C9652623 @default.
- W2212134920 hasConceptScore W2212134920C111472728 @default.
- W2212134920 hasConceptScore W2212134920C111498074 @default.
- W2212134920 hasConceptScore W2212134920C118524514 @default.
- W2212134920 hasConceptScore W2212134920C138885662 @default.
- W2212134920 hasConceptScore W2212134920C145644426 @default.
- W2212134920 hasConceptScore W2212134920C153185123 @default.
- W2212134920 hasConceptScore W2212134920C189950617 @default.
- W2212134920 hasConceptScore W2212134920C199360897 @default.
- W2212134920 hasConceptScore W2212134920C202444582 @default.
- W2212134920 hasConceptScore W2212134920C2777904410 @default.
- W2212134920 hasConceptScore W2212134920C2778112365 @default.
- W2212134920 hasConceptScore W2212134920C33923547 @default.
- W2212134920 hasConceptScore W2212134920C41008148 @default.
- W2212134920 hasConceptScore W2212134920C54355233 @default.
- W2212134920 hasConceptScore W2212134920C55439883 @default.
- W2212134920 hasConceptScore W2212134920C80444323 @default.
- W2212134920 hasConceptScore W2212134920C86803240 @default.
- W2212134920 hasConceptScore W2212134920C9652623 @default.
- W2212134920 hasLocation W22121349201 @default.
- W2212134920 hasOpenAccess W2212134920 @default.
- W2212134920 hasPrimaryLocation W22121349201 @default.
- W2212134920 hasRelatedWork W1614816533 @default.
- W2212134920 hasRelatedWork W1977144985 @default.
- W2212134920 hasRelatedWork W1985198438 @default.
- W2212134920 hasRelatedWork W2149609054 @default.
- W2212134920 hasRelatedWork W2352173818 @default.
- W2212134920 hasRelatedWork W2973962686 @default.
- W2212134920 hasRelatedWork W3091728393 @default.
- W2212134920 hasRelatedWork W3131244871 @default.
- W2212134920 hasRelatedWork W3215537322 @default.
- W2212134920 hasRelatedWork W4238823939 @default.
- W2212134920 isParatext "false" @default.
- W2212134920 isRetracted "false" @default.
- W2212134920 magId "2212134920" @default.
- W2212134920 workType "article" @default.