Susanto, K.W. and Melham, T. (2003) An AMBA-ARM7 formal verification platform. Formal Methods and Software Engineering, Proceedings, 2885, pp. 48-67.
Full text not currently available from Enlighten.
Abstract
Abstract. The pressure to create a working System on Chip design as early as possible leads designers to consider using a platform based design method. In this approach, designing an application is a matter of selecting from a set of standard components with compatible specifications. Subsequently, a formal verification platform can be constructed. The formal verification platform provides an environment to analysed the combined properties of the design. In this paper, we present a methodology to do formal System on Chip analysis by developing generic formal components that can be integrated in a formal verification platform. First, we develop reusable formal properties of standard components. Second, we define a generic formal platform in which components of System on Chip design can be integrated. The platform contains basic components such as a standard bus protocol and a processor. Third, we combine the properties of standard components and obtain a set of refined properties of the system. We use these properties to develop the required specifications of the remaining components.
Item Type: | Articles |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | UNSPECIFIED |
Authors: | Susanto, K.W., and Melham, T. |
College/School: | College of Science and Engineering > School of Computing Science |
Journal Name: | Formal Methods and Software Engineering, Proceedings |
University Staff: Request a correction | Enlighten Editors: Update this record