36
CS269: HW/SW Engineering of Embedded Systems, Winter02
Goals
•
constraint specification formalism
•
solid math foundation
•
natural to designers
•
compatible with functional specification formalism
•
expressive
•
easy to simulate and verify formally