Skip to Main Content
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.
Date of Conference: 19-21 Nov. 2003