A “short list” of embedded systems

27

CS269: HW/SW Engineering of Embedded Systems, Winter02

Outline

•Context: Metropolis project

•Constraints: what, when, why

•Behaviors and annotations

•Logic Of Constraints

•Examples

•Verification