By Topic

Modeling on-chip communication

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
T. Seceleanu ; Dept. of Inf. Technol., Turku Univ., Finland ; J. Plosila

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.

Published in:

System-on-Chip, 2003. Proceedings. International Symposium on

Date of Conference:

19-21 Nov. 2003