util/div_mod.v · 483d46339c2b65acf2682c5917598becc6573452 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

4 years ago
483d4633
add definitions of super- and sub-additivity · 483d4633
Marco Maida authored 4 years ago and Björn Brandenburg committed 4 years ago
```
...and some supporting theory. This will be needed to handle arrival curves extrapolated from a finite prefix.
```
483d4633

History
add definitions of super- and sub-additivity
Marco Maida authored 4 years ago and Björn Brandenburg committed 4 years ago
```
...and some supporting theory. This will be needed to handle arrival curves extrapolated from a finite prefix.
```