Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

DATE
2004
IEEE

favoriteEmaildiscussreport

115views Hardware» more DATE 2004»

Aspects of Formal and Graphical Design of a Bus System

13 years 8 months ago

Aspects of Formal and Graphical Design of a Bus System

Download users.utu.fi

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

Tiberiu Seceleanu, Tomi Westerlund

Real-time Traffic

Bus Arbiter | DATE 2004 | Hardware | Segment Bus Arbiter | Segmented Bus Arbiter |

claim paper

Related Content

» Apel A Graphical Yet Executable Formalism for Process Modeling

» Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus mode...

» Bus Protocols MSCBased Specifications and Translation into Program of Verification Tool fo...

» An Experience on Formal Analysis of a HighLevel Graphical SOA Design

» Formal verification of LTL formulas for SystemC designs

» Design for Verification of the PCIX Bus

» JTN A JavaTargeted Graphic Formal Notation for Reactive and Concurrent Systems

» CSAW and genAWeave a twolevel aspect weaving toolsuite

» Modeling and Analysis of the AMBA Bus Using CSP and B

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2004
Where	DATE
Authors	Tiberiu Seceleanu, Tomi Westerlund

Comments (0)