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": "2021-12-01T19:56", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_13.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 N7a342251ec2548dd9c744f39e0f4216e
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 N73b8005b7bb14896ac1db8b1860115a4
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Ne749ef6a217c475cbcdf90c1f5eaac27
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 N331d264762cc423e83bfb0e943f22401
72 Nce2766979549477394d3656fe573f2c4
73 schema:publisher N323db6a562f8409b9b7e8a77448c024c
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 2021-12-01T19:56
77 schema:sdLicense https://scigraph.springernature.com/explorer/license/
78 schema:sdPublisher N7834a1359e9d4986bd329172daece0cf
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 N069b899affb64f389baba27d53e6bda4 rdf:first Ncdd7a8edcadf4b288db39bbb876d0af6
84 rdf:rest N09314c27284341b2ba68e1c60e8c1faa
85 N09314c27284341b2ba68e1c60e8c1faa rdf:first N39ec1f7912524d88850901653bfb68b1
86 rdf:rest rdf:nil
87 N0ae7e70d240d4a2b8737daf2b676c890 schema:familyName Yakovlev
88 schema:givenName Alex
89 rdf:type schema:Person
90 N1dbc063faeb14603a4136cd096189fc7 rdf:first sg:person.07756024441.51
91 rdf:rest rdf:nil
92 N323db6a562f8409b9b7e8a77448c024c schema:name Springer Nature
93 rdf:type schema:Organisation
94 N331d264762cc423e83bfb0e943f22401 schema:name dimensions_id
95 schema:value pub.1005848658
96 rdf:type schema:PropertyValue
97 N39ec1f7912524d88850901653bfb68b1 schema:familyName Lavagno
98 schema:givenName Luciano
99 rdf:type schema:Person
100 N73b8005b7bb14896ac1db8b1860115a4 rdf:first N0ae7e70d240d4a2b8737daf2b676c890
101 rdf:rest N069b899affb64f389baba27d53e6bda4
102 N7834a1359e9d4986bd329172daece0cf schema:name Springer Nature - SN SciGraph project
103 rdf:type schema:Organization
104 N7a342251ec2548dd9c744f39e0f4216e rdf:first sg:person.013666313531.32
105 rdf:rest N1dbc063faeb14603a4136cd096189fc7
106 Ncdd7a8edcadf4b288db39bbb876d0af6 schema:familyName Gomes
107 schema:givenName Luis
108 rdf:type schema:Person
109 Nce2766979549477394d3656fe573f2c4 schema:name doi
110 schema:value 10.1007/978-1-4757-3143-9_1
111 rdf:type schema:PropertyValue
112 Ne749ef6a217c475cbcdf90c1f5eaac27 schema:isbn 978-1-4419-4969-1
113 978-1-4757-3143-9
114 schema:name Hardware Design and Petri Nets
115 rdf:type schema:Book
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)


...