Architecture Development and Deployment
The MESCAL architecture development framework is called Tipi (spelled Teepee in earlier publications). Tipi is designed as a successor to architecture description languages (ADLs). ADLs of the past focused on modeling the structure or the instruction set semantics of an architecture. MIMOLA is an example of a structural ADL. Instruction set ADLs include ISDL and nML. A current trend in ADLs is to combine the description of the structure and the instruction set semantics. Combined ADLs include EXPRESSION and LISA. One key aspect of these solutions is that restrictions on the flexibility of the architecture are used to manage the complexity of tool (compiler and/or simulator) generation. Verifying that the architecture, compiler, and simulator are consistent after adding new features is complex and not well defined. The existing solution is to use a single syntax to describe the restricted space of architectures at all points in the design flow. If one wishes to relax the restrictions on the architecture, then the problems of consistency and tool generation become intractable. The underlying issue is that architects, compiler designers, and simulator writers are concerned with dissimilar and disjoint facets of the architecture, but must find some way to keep these disparate facets consistent.
The Multiple Views Approach
The proposed solution to this problem is to
maintain a single,
simple, formal description of the architecture with an extremely
minimal set of
restrictions on the design space. This allows a very broad class of
architectures to be described. A view of this model is an
that encapsulates the information required by a facet of the
view is implemented with a synonymous tool in the Tipi framework for
interacting with the architecture using the corresponding abstraction.
implemented views do not introduce semantics not present in the model,
are consistent with the model by construction. For more technical
background and a case study, see the design flow described in .In order
to learn how Tipi is embedded in the Mescal framework, see the overview
article in .
Views for Architecture Development
Views for Architecture Deployment