From 493e2fc04b346e0298bf6cfedf994bc48210a9e3 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 6 May 2022 15:58:16 +0100 Subject: Fix last reference issues --- chapters/background.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'chapters/background.tex') diff --git a/chapters/background.tex b/chapters/background.tex index 7ce2064..7f8539c 100644 --- a/chapters/background.tex +++ b/chapters/background.tex @@ -241,7 +241,7 @@ as tokens are used to start the next operations. However, Occam is timed by des execute assignments sequentially. To take advantage of the parallel nature of hardware, Occam uses explicit parallel constructs with channels to share state. Handel-C, a version of Occam with many more features such as memory and pointers, has also been used to prove HLS correct, and is described -further in Section~\ref{sec:wire-to-wire}. +further in \in{Section}[sec:wire-to-wire]. \section{Mechanised: Compiler Proofs} -- cgit