Modular Operational Semantic Specification of Transport Triggered Architectures

C. Delgado Kloos; J. Mountjoy; E. Cerny; Pieter H. Hartel; H. Corporaal

Modular Operational Semantic Specification of Transport Triggered Architectures

C. Delgado Kloos (Editor), J. Mountjoy, E. Cerny (Editor), Pieter H. Hartel, H. Corporaal

Research output: Contribution to conference › Paper › peer-review

96 Downloads (Pure)

Abstract

The formal specification of hardware at the instruction level is a daunting task. The complexity, size and intricacies of most instruction sets makes this task even more difficult. However, the benefits of such a specification can be quite rewarding: a precise, unambiguous description is provided for each instruction, a basis for proving the correctness of code transformations is made available, and the specification can be animated, providing a simulator. This paper proposes a high level structural operational semantic (S.O.S.) specification for the class of transport triggered architectures. These architectures are simple, powerful, flexible and modular and can exploit very fine grained parallelism. The S.O.S. is novel in that it follows the structure of the architecture, and by doing so inherits the modularity of the architecture.

Original language	Undefined
Pages	260-279
Number of pages	20
Publication status	Published - Apr 1997
Event	13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain - Duration: 1 Jan 1997 → 1 Jan 1997

Other

Other	13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain
Period	1/01/97 → 1/01/97

Keywords

IR-55698
EWI-1088

Access to Document

Cite this

@conference{f0d1a374f2554ee9b98b4504d31d3790,

title = "Modular Operational Semantic Specification of Transport Triggered Architectures",

abstract = "The formal specification of hardware at the instruction level is a daunting task. The complexity, size and intricacies of most instruction sets makes this task even more difficult. However, the benefits of such a specification can be quite rewarding: a precise, unambiguous description is provided for each instruction, a basis for proving the correctness of code transformations is made available, and the specification can be animated, providing a simulator. This paper proposes a high level structural operational semantic (S.O.S.) specification for the class of transport triggered architectures. These architectures are simple, powerful, flexible and modular and can exploit very fine grained parallelism. The S.O.S. is novel in that it follows the structure of the architecture, and by doing so inherits the modularity of the architecture.",

keywords = "IR-55698, EWI-1088",

author = "{Delgado Kloos}, C. and J. Mountjoy and E. Cerny and Hartel, {Pieter H.} and H. Corporaal",

note = "Imported from DIES; 13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain ; Conference date: 01-01-1997 Through 01-01-1997",

year = "1997",

month = apr,

language = "Undefined",

pages = "260--279",

}

TY - CONF

T1 - Modular Operational Semantic Specification of Transport Triggered Architectures

AU - Mountjoy, J.

AU - Hartel, Pieter H.

AU - Corporaal, H.

A2 - Delgado Kloos, C.

A2 - Cerny, E.

N1 - Imported from DIES

PY - 1997/4

Y1 - 1997/4

N2 - The formal specification of hardware at the instruction level is a daunting task. The complexity, size and intricacies of most instruction sets makes this task even more difficult. However, the benefits of such a specification can be quite rewarding: a precise, unambiguous description is provided for each instruction, a basis for proving the correctness of code transformations is made available, and the specification can be animated, providing a simulator. This paper proposes a high level structural operational semantic (S.O.S.) specification for the class of transport triggered architectures. These architectures are simple, powerful, flexible and modular and can exploit very fine grained parallelism. The S.O.S. is novel in that it follows the structure of the architecture, and by doing so inherits the modularity of the architecture.

AB - The formal specification of hardware at the instruction level is a daunting task. The complexity, size and intricacies of most instruction sets makes this task even more difficult. However, the benefits of such a specification can be quite rewarding: a precise, unambiguous description is provided for each instruction, a basis for proving the correctness of code transformations is made available, and the specification can be animated, providing a simulator. This paper proposes a high level structural operational semantic (S.O.S.) specification for the class of transport triggered architectures. These architectures are simple, powerful, flexible and modular and can exploit very fine grained parallelism. The S.O.S. is novel in that it follows the structure of the architecture, and by doing so inherits the modularity of the architecture.

KW - IR-55698

KW - EWI-1088

M3 - Paper

SP - 260

EP - 279

T2 - 13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain

Y2 - 1 January 1997 through 1 January 1997

ER -