Modeling on-chip communication
Tiberiu Seceleanu, Juha Plosila · 2004
Utility of formal methods in hardware design became of crucial importance during the last decade. In this study, we apply techniques of the action systems framework in the development of a bus-based system. The emphasis is on the extraction of the arbiter unit, from an initial high abstract level description.