[DSML] Allow real values and functions
In cases where one has to deal with divisions, real values can not be
avoided either.
Real values shall never be enforced, just supported when necessary.
Example:
We need the transmission time of a signal over a bus. As we don’t know
where the signal will be deployed, we cannot divide the signal size by
the bandwidth beforehand and are forced to let the solver take care of
that.
Alternative:
Theoretically, the values can be precalculated as a matrix, with signals
being rows and buses being columns. With both indices, one could look up
the precalculated ratio. However, this would require the implementation
of a whole new data structure in DSML and its translation to SMT - all
for a very specific use case. Given the little effort necessary to allow
(but not enforce!) real values, this seems like a more future proof and
reusable alternative.
(from redmine: issue id 4052, created on 2020-07-31, closed on 2020-08-06)
- Uploads:
- test_dse_flat.af3_23 AF3 project for testing