Transformation based communication and clock domain refinement for system design

Abstract:

The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system model into an implementation model. The methodology defines two classes of design transformations: (1) semantic-preserving transformations and (2) design decisions. In particular we present and illustrate communication and clock domain refinement by way of a digital equalizer system.

Año de publicación:

2002

Keywords:

• Design refinement
• System design
• System modeling

Fuente:

scopus