Aspects of Formal and Graphical Design of a Bus System

This study shows the derivation of a local segmented bus arbiter from an original single segment bus arbiter. The operations are performed in the formal framework of action systems and illustrated in a graphical manner using the corresponding action systems

• Type: Conference
• Year: 2004
• Where: DATE
• Authors: Tiberiu Seceleanu, Tomi Westerlund
• Keywords: Bus Arbiter, DATE 2004, Hardware, Segment Bus Arbiter, Segmented Bus Arbiter