Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2000

AUTHORS

Ralf Wollowski , Jochen Beister

ABSTRACT

The topic of this paper is the precise modelling of all known forms of asynchronous controller and arbiter behaviour from a causal point of view, and for the purpose of synthesis. In addition to the causal relations between input and output edges provided by the conventional STG (dependence, independence, and exclusion) two forms of pseudo-causality, b-and tcb-concurrency (in signal-tracking behaviour), causal linkage (in multiple input changes and bursts), and race causality (temporal relations as causes, in critical input races) are found to be needed. For their Petri net representation, tc-labelled read and inhibitor arcs, transitions labelled with joint events, and decision transitions representing internal events are introduced. Based on these results, a generalized STG for the first time allows precise causal specifications of all known forms of arbiter behaviour, in particular of “three-way” arbiters that recognize and respond to simultaneous requests with a specific reaction. Several circuit examples are discussed. More... »

PAGES

3-32

Book

TITLE

Hardware Design and Petri Nets

ISBN

978-1-4419-4969-1
978-1-4757-3143-9

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4757-3143-9_1

DOI

http://dx.doi.org/10.1007/978-1-4757-3143-9_1

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1005848658


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1701", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7645.0", 
          "name": [
            "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wollowski", 
        "givenName": "Ralf", 
        "id": "sg:person.013666313531.32", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013666313531.32"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7645.0", 
          "name": [
            "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Beister", 
        "givenName": "Jochen", 
        "id": "sg:person.07756024441.51", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07756024441.51"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2000", 
    "datePublishedReg": "2000-01-01", 
    "description": "The topic of this paper is the precise modelling of all known forms of asynchronous controller and arbiter behaviour from a causal point of view, and for the purpose of synthesis. In addition to the causal relations between input and output edges provided by the conventional STG (dependence, independence, and exclusion) two forms of pseudo-causality, b-and tcb-concurrency (in signal-tracking behaviour), causal linkage (in multiple input changes and bursts), and race causality (temporal relations as causes, in critical input races) are found to be needed. For their Petri net representation, tc-labelled read and inhibitor arcs, transitions labelled with joint events, and decision transitions representing internal events are introduced. Based on these results, a generalized STG for the first time allows precise causal specifications of all known forms of arbiter behaviour, in particular of \u201cthree-way\u201d arbiters that recognize and respond to simultaneous requests with a specific reaction. Several circuit examples are discussed.", 
    "editor": [
      {
        "familyName": "Yakovlev", 
        "givenName": "Alex", 
        "type": "Person"
      }, 
      {
        "familyName": "Gomes", 
        "givenName": "Luis", 
        "type": "Person"
      }, 
      {
        "familyName": "Lavagno", 
        "givenName": "Luciano", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-1-4757-3143-9_1", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-1-4419-4969-1", 
        "978-1-4757-3143-9"
      ], 
      "name": "Hardware Design and Petri Nets", 
      "type": "Book"
    }, 
    "keywords": [
      "precise modelling", 
      "asynchronous controllers", 
      "controller", 
      "purpose of synthesis", 
      "output edges", 
      "Petri net representation", 
      "net representation", 
      "inhibitor arcs", 
      "decision transitions", 
      "causal specifications", 
      "specification", 
      "simultaneous requests", 
      "circuit examples", 
      "topic", 
      "modelling", 
      "behavior", 
      "causal point", 
      "point", 
      "view", 
      "causal relations", 
      "input", 
      "edge", 
      "causal linkages", 
      "representation", 
      "reads", 
      "joint events", 
      "internal events", 
      "STG", 
      "time", 
      "three-way", 
      "arbiter", 
      "requests", 
      "example", 
      "paper", 
      "form", 
      "purpose", 
      "synthesis", 
      "addition", 
      "relation", 
      "linkage", 
      "causality", 
      "arc", 
      "transition", 
      "events", 
      "results", 
      "first time", 
      "specific reaction", 
      "reaction", 
      "arbiter behaviour", 
      "conventional STG (dependence, independence, and exclusion) two forms", 
      "STG (dependence, independence, and exclusion) two forms", 
      "two forms", 
      "race causality", 
      "labelled read", 
      "generalized STG", 
      "precise causal specifications", 
      "Comprehensive Causal Specification"
    ], 
    "name": "Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour", 
    "pagination": "3-32", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1005848658"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4757-3143-9_1"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4757-3143-9_1", 
      "https://app.dimensions.ai/details/publication/pub.1005848658"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:18", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_31.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-1-4757-3143-9_1"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-1-4757-3143-9_1'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-1-4757-3143-9_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4757-3143-9_1'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4757-3143-9_1'


 

This table displays all metadata directly associated to this object as RDF triples.

134 TRIPLES      23 PREDICATES      83 URIs      76 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4757-3143-9_1 schema:about anzsrc-for:17
2 anzsrc-for:1701
3 schema:author N7171842aae024236a823d4a5a6517ed9
4 schema:datePublished 2000
5 schema:datePublishedReg 2000-01-01
6 schema:description The topic of this paper is the precise modelling of all known forms of asynchronous controller and arbiter behaviour from a causal point of view, and for the purpose of synthesis. In addition to the causal relations between input and output edges provided by the conventional STG (dependence, independence, and exclusion) two forms of pseudo-causality, b-and tcb-concurrency (in signal-tracking behaviour), causal linkage (in multiple input changes and bursts), and race causality (temporal relations as causes, in critical input races) are found to be needed. For their Petri net representation, tc-labelled read and inhibitor arcs, transitions labelled with joint events, and decision transitions representing internal events are introduced. Based on these results, a generalized STG for the first time allows precise causal specifications of all known forms of arbiter behaviour, in particular of “three-way” arbiters that recognize and respond to simultaneous requests with a specific reaction. Several circuit examples are discussed.
7 schema:editor N8ba659eb2614408480642c5a438254a9
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N1dd40f5a11bb4b56be13c1bdbcf05f10
12 schema:keywords Comprehensive Causal Specification
13 Petri net representation
14 STG
15 STG (dependence, independence, and exclusion) two forms
16 addition
17 arbiter
18 arbiter behaviour
19 arc
20 asynchronous controllers
21 behavior
22 causal linkages
23 causal point
24 causal relations
25 causal specifications
26 causality
27 circuit examples
28 controller
29 conventional STG (dependence, independence, and exclusion) two forms
30 decision transitions
31 edge
32 events
33 example
34 first time
35 form
36 generalized STG
37 inhibitor arcs
38 input
39 internal events
40 joint events
41 labelled read
42 linkage
43 modelling
44 net representation
45 output edges
46 paper
47 point
48 precise causal specifications
49 precise modelling
50 purpose
51 purpose of synthesis
52 race causality
53 reaction
54 reads
55 relation
56 representation
57 requests
58 results
59 simultaneous requests
60 specific reaction
61 specification
62 synthesis
63 three-way
64 time
65 topic
66 transition
67 two forms
68 view
69 schema:name Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour
70 schema:pagination 3-32
71 schema:productId N4988ee08066041c7b815d546ec7a3cd6
72 N7010c32bdc5b46f88c34d2fb26525255
73 schema:publisher Neea81754a2074ddc8d39de5f8c8d2e5e
74 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005848658
75 https://doi.org/10.1007/978-1-4757-3143-9_1
76 schema:sdDatePublished 2022-01-01T19:18
77 schema:sdLicense https://scigraph.springernature.com/explorer/license/
78 schema:sdPublisher Nc636ac18d8984f10814afdb9213f984d
79 schema:url https://doi.org/10.1007/978-1-4757-3143-9_1
80 sgo:license sg:explorer/license/
81 sgo:sdDataset chapters
82 rdf:type schema:Chapter
83 N1dd40f5a11bb4b56be13c1bdbcf05f10 schema:isbn 978-1-4419-4969-1
84 978-1-4757-3143-9
85 schema:name Hardware Design and Petri Nets
86 rdf:type schema:Book
87 N420077055b8f4f50a7efc2459402107c rdf:first sg:person.07756024441.51
88 rdf:rest rdf:nil
89 N4988ee08066041c7b815d546ec7a3cd6 schema:name dimensions_id
90 schema:value pub.1005848658
91 rdf:type schema:PropertyValue
92 N7010c32bdc5b46f88c34d2fb26525255 schema:name doi
93 schema:value 10.1007/978-1-4757-3143-9_1
94 rdf:type schema:PropertyValue
95 N7171842aae024236a823d4a5a6517ed9 rdf:first sg:person.013666313531.32
96 rdf:rest N420077055b8f4f50a7efc2459402107c
97 N8ba659eb2614408480642c5a438254a9 rdf:first Nff63527f322445378130622c818c1bd7
98 rdf:rest Nf2834aa270c24cb69cdefce637aab950
99 N9612379852dc44678daf72fb582b55fb schema:familyName Lavagno
100 schema:givenName Luciano
101 rdf:type schema:Person
102 N9db96935a67144d5971a4b4716731393 schema:familyName Gomes
103 schema:givenName Luis
104 rdf:type schema:Person
105 Nc636ac18d8984f10814afdb9213f984d schema:name Springer Nature - SN SciGraph project
106 rdf:type schema:Organization
107 Ncc0d13679b7f45569fbd1f95cf20c500 rdf:first N9612379852dc44678daf72fb582b55fb
108 rdf:rest rdf:nil
109 Neea81754a2074ddc8d39de5f8c8d2e5e schema:name Springer Nature
110 rdf:type schema:Organisation
111 Nf2834aa270c24cb69cdefce637aab950 rdf:first N9db96935a67144d5971a4b4716731393
112 rdf:rest Ncc0d13679b7f45569fbd1f95cf20c500
113 Nff63527f322445378130622c818c1bd7 schema:familyName Yakovlev
114 schema:givenName Alex
115 rdf:type schema:Person
116 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
117 schema:name Psychology and Cognitive Sciences
118 rdf:type schema:DefinedTerm
119 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
120 schema:name Psychology
121 rdf:type schema:DefinedTerm
122 sg:person.013666313531.32 schema:affiliation grid-institutes:grid.7645.0
123 schema:familyName Wollowski
124 schema:givenName Ralf
125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013666313531.32
126 rdf:type schema:Person
127 sg:person.07756024441.51 schema:affiliation grid-institutes:grid.7645.0
128 schema:familyName Beister
129 schema:givenName Jochen
130 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07756024441.51
131 rdf:type schema:Person
132 grid-institutes:grid.7645.0 schema:alternateName Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany
133 schema:name Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany
134 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...