Since State Charts have been introduced, they have proven to be of great use in the design of complex reactive systems. Previous work has shown that, in hardware design, they can be successfully used for transaction-level modeling as well as for cycle-callable systems. This paper presents a structure-preserving refinement approach for State Charts that allows modeling hardware on different abstraction levels, from completely untimed high-level models to cycle callable, in a single model. This single-source approach, on the one hand, eases the agility of the development since changes in any abstraction level are more easily applied in the other levels, and, on the other hand, provides a simple means for checking the consistency of the different abstraction levels.
展开▼