From 2158b101714dedae2adcdbfc67a1d078e44b9ded Mon Sep 17 00:00:00 2001 From: Hans Olsson Date: Mon, 5 Oct 2020 18:15:29 +0200 Subject: [PATCH] Forbid mixing clocks (#2670) Closes #2365 Specifically: * Forbids noClock between different base-clocks. * Forbids system of equations between different sub-clocks. Co-authored-by: Henrik Tidefelt --- chapters/synchronous.tex | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 6b2a1dedc..f0ac70701 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -778,7 +778,7 @@ \subsection{Sub-clock conversion operators}\label{sub-clock-conversion-operators \\ \hline \lstinline!noClock(u)! & -The clock of \lstinline!y = noClock(u)! is always inferred. At every tick +The clock of \lstinline!y = noClock(u)! is always inferred, and \lstinline!u! must be part of the same base-clock as \lstinline!y!. At every tick of the clock of \lstinline!y!, the operator returns the value of \lstinline!u! from the last tick of the clock of \lstinline!u!. If \lstinline!noClock(u)! is called before the first tick of the clock of \lstinline!u!, the start value of \lstinline!u! is returned.\\ \hline @@ -1013,6 +1013,9 @@ \subsection{Sub-clock Partitioning}\label{sub-clock-partitioning} \textless{}E\textsubscript{ij}, V\textsubscript{ij}\textgreater{}, according to sub-clocks. +The resulting sets of equations and variables shall be possible to solve separately, +meaning that systems of equations cannot involve different sub-clocks. + It can be noted that: $E_{ij} \bigcap E_{kl} = \emptyset~ \forall i\ne{}k, j\ne{}l$