Draft: Adaptations to runtime checks for spinlock semaphore parameters and memory access delay computation

Behnaz Pourmohseni requested to merge feature/runtime-validations into develop

adapted spinlock constructor to prevent runtime error when the maxValue or initialValue differ from 1 (now produces only a v0 log message). Adapted memory-access latency check in the hardware model to produce a log message only when, in the absence of an AccessPath, neither dataRate nor read/write latency is defined.

Merge request reports