16.5. Conclusions
We have presented the Metropolis environment for the design of complex electronic systems. It is based on a meta-model with formal semantics, which can be used to capture designs directly or import them from other specification languages. It also supports simulation, formal analysis, and synthesis tools. The framework is conceived to encompass different application domains. Each application domain needs different models, tools, and flows. Heterogeneity is supported at the utmost level in Metropolis to allow this kind of customization. The meta-model structure has been designed with orthogonalization of concerns in mind: function and architecture and communication and computation are clearly separated. The formal semantics of ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access