Access Restriction

Author Westerlund, Tomi ♦ Seceleanu, Tiberiu
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Formal Framework ♦ Formal Analysis ♦ Important Hardware Design Decision ♦ Pre-serving Correctness ♦ Local Segmented Bus Arbiter ♦ Synchronous Hardware Design ♦ Action System ♦ Single Segment Bus Arbiter ♦ Bus Arbiter ♦ Reactive System ♦ Predicate Transformer
Description In this paper we show the derivation of a local segmented bus arbiter from a single segment bus arbiter. The arbiter is exten-ded to cater for requests coming from and going to external segment. The derivation demonstrates the capability of pre-serving correctness when considering an important hardware design decision. The operations are performed in the formal framework of Action Systems. Action Systems is a predicate transformer based method for modelling reactive systems. It has also been successfully applied to both asynchronous and synchronous hardware designs. 1
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Institution Proceedings of the 21st NORCHIP Conference, 2003