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 conferencePaperAcademicpeer-review

    53 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 languageUndefined
    Pages260-279
    Number of pages20
    Publication statusPublished - Apr 1997
    Event13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain -
    Duration: 1 Jan 19971 Jan 1997

    Other

    Other13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain
    Period1/01/971/01/97

    Keywords

    • IR-55698
    • EWI-1088

    Cite this