37
CS269: HW/SW Engineering of Embedded Systems, Winter02
Metropolis Framework
Design
Constraints
Function
Specification
Architecture
Specification
Metropolis Infrastructure
•
Design methodology
•
Meta model of computation
•
Base tools
- Design imports
- Meta model compiler
- Simulation
Metropolis Formal Methods:
Synthesis/Refinement
Metropolis Formal Methods:
Analysis/Verification