Matches in SemOpenAlex for { <https://semopenalex.org/work/W289239838> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W289239838 abstract "Motivation. The verification of bus protocols, i.e., of communication protocols between hardware devices as in the case of the well-known PCI bus, is a central problem in hardware verification. Although bus protocol design and verification become increasingly important due to the integration of diverse components in IP Core-based designs, even standard bus protocols are usually specified in English which makes specifications often ambiguous, contradictory and certainly non-executable. Traditional hardware verification languages are usually not well-suited for protocol specification because they are based on existing concrete designs (or abstractions thereof) instead of specifications, and their execution model therefore focuses on single-cycle transitions. With protocols, the specification is naturally represented by constraints on signals which may connect relatively distant time points. Another problem of transition-system based approaches is that naive composition of participants in the protocol may cover up important protocol inconsistencies due to synchronization faults or write conflicts among non-cooperative participants. On the other hand, it is important that the specification language is executable, i.e., that a machine model can be computed from the specification." @default.
- W289239838 created "2016-06-24" @default.
- W289239838 creator A5046454314 @default.
- W289239838 creator A5051288683 @default.
- W289239838 creator A5052440027 @default.
- W289239838 creator A5090974026 @default.
- W289239838 date "2000-01-01" @default.
- W289239838 modified "2023-09-27" @default.
- W289239838 title "EPSL: Executable Protocol Specification Language" @default.
- W289239838 cites W1503170978 @default.
- W289239838 cites W1549122259 @default.
- W289239838 cites W1607782211 @default.
- W289239838 cites W2112134383 @default.
- W289239838 cites W2296646831 @default.
- W289239838 cites W2340735175 @default.
- W289239838 cites W2913459036 @default.
- W289239838 hasPublicationYear "2000" @default.
- W289239838 type Work @default.
- W289239838 sameAs 289239838 @default.
- W289239838 citedByCount "0" @default.
- W289239838 crossrefType "journal-article" @default.
- W289239838 hasAuthorship W289239838A5046454314 @default.
- W289239838 hasAuthorship W289239838A5051288683 @default.
- W289239838 hasAuthorship W289239838A5052440027 @default.
- W289239838 hasAuthorship W289239838A5090974026 @default.
- W289239838 hasConcept C111498074 @default.
- W289239838 hasConcept C111919701 @default.
- W289239838 hasConcept C116253237 @default.
- W289239838 hasConcept C12269588 @default.
- W289239838 hasConcept C127162648 @default.
- W289239838 hasConcept C142724271 @default.
- W289239838 hasConcept C149635348 @default.
- W289239838 hasConcept C160145156 @default.
- W289239838 hasConcept C199360897 @default.
- W289239838 hasConcept C201677973 @default.
- W289239838 hasConcept C204787440 @default.
- W289239838 hasConcept C2778562939 @default.
- W289239838 hasConcept C2780385302 @default.
- W289239838 hasConcept C31258907 @default.
- W289239838 hasConcept C41008148 @default.
- W289239838 hasConcept C71924100 @default.
- W289239838 hasConcept C75606506 @default.
- W289239838 hasConcept C90069079 @default.
- W289239838 hasConceptScore W289239838C111498074 @default.
- W289239838 hasConceptScore W289239838C111919701 @default.
- W289239838 hasConceptScore W289239838C116253237 @default.
- W289239838 hasConceptScore W289239838C12269588 @default.
- W289239838 hasConceptScore W289239838C127162648 @default.
- W289239838 hasConceptScore W289239838C142724271 @default.
- W289239838 hasConceptScore W289239838C149635348 @default.
- W289239838 hasConceptScore W289239838C160145156 @default.
- W289239838 hasConceptScore W289239838C199360897 @default.
- W289239838 hasConceptScore W289239838C201677973 @default.
- W289239838 hasConceptScore W289239838C204787440 @default.
- W289239838 hasConceptScore W289239838C2778562939 @default.
- W289239838 hasConceptScore W289239838C2780385302 @default.
- W289239838 hasConceptScore W289239838C31258907 @default.
- W289239838 hasConceptScore W289239838C41008148 @default.
- W289239838 hasConceptScore W289239838C71924100 @default.
- W289239838 hasConceptScore W289239838C75606506 @default.
- W289239838 hasConceptScore W289239838C90069079 @default.
- W289239838 hasLocation W2892398381 @default.
- W289239838 hasOpenAccess W289239838 @default.
- W289239838 hasPrimaryLocation W2892398381 @default.
- W289239838 hasRelatedWork W136497439 @default.
- W289239838 hasRelatedWork W1509870149 @default.
- W289239838 hasRelatedWork W1553737443 @default.
- W289239838 hasRelatedWork W1620346340 @default.
- W289239838 hasRelatedWork W1984385724 @default.
- W289239838 hasRelatedWork W1985660652 @default.
- W289239838 hasRelatedWork W1993883407 @default.
- W289239838 hasRelatedWork W2001280955 @default.
- W289239838 hasRelatedWork W2050350052 @default.
- W289239838 hasRelatedWork W2116206868 @default.
- W289239838 hasRelatedWork W2145549763 @default.
- W289239838 hasRelatedWork W2296750566 @default.
- W289239838 hasRelatedWork W2535139490 @default.
- W289239838 hasRelatedWork W2552119404 @default.
- W289239838 hasRelatedWork W2911908636 @default.
- W289239838 hasRelatedWork W2950815967 @default.
- W289239838 hasRelatedWork W2978795257 @default.
- W289239838 hasRelatedWork W3202842528 @default.
- W289239838 hasRelatedWork W2119554298 @default.
- W289239838 hasRelatedWork W2188309792 @default.
- W289239838 isParatext "false" @default.
- W289239838 isRetracted "false" @default.
- W289239838 magId "289239838" @default.
- W289239838 workType "article" @default.