Synthesis and RASSP COMET (Cont.)
VSPEC clauses
- Assumes logical_expression
Describes the pre-conditions that must be met before this entity can be used. The logical_expression is defined over the set of inputs of the device
- Ensures logical_expression
Describes the post-conditions that must be true when the entity functions correctly. The logical_ expression is defined as a relation between inputs of the device and its outputs
- Constrained by logical_expression
Describes the constraints placed upon the entity. These constraints include size, timing, head dissipation, power consumption, and clock speed. The logical_expression is defined over pre-defined variables representing potential constraints