35
CS269: HW/SW Engineering of Embedded Systems, Winter02
Constraints
•
WHAT?
•
statements about quantities that are defined only in
detailed implementation
•
WHEN?
•
from the beginning of the design process, to reduce
iterations
•
HOW?
•
constraint decomposition and propagation,
•
finding conflicting constraints