diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 17:55:13 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 17:55:13 +0100 |
commit | 636cf788446b7f0454f60d6721d5ba76ce2e7d40 (patch) | |
tree | bddd409782be78ad88c53ad9df27ce64abda46e2 /verilog.tex | |
parent | f71e5db19dd21b9354d64ad555b9e34c8b7d487e (diff) | |
download | oopsla21_fvhls-636cf788446b7f0454f60d6721d5ba76ce2e7d40.tar.gz oopsla21_fvhls-636cf788446b7f0454f60d6721d5ba76ce2e7d40.zip |
Add colour to the memory model
Diffstat (limited to 'verilog.tex')
-rw-r--r-- | verilog.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/verilog.tex b/verilog.tex index 015d462..b0af602 100644 --- a/verilog.tex +++ b/verilog.tex @@ -125,11 +125,13 @@ The Verilog semantics do not define a memory model for Verilog, as this is not n %\JW{I'm not quite sure I understand. Let me check: Are you saying that previous work has shown how all the existing CompCert passes can be adapted from an infinite to a finite memory model, but what we're doing is leaving the default (infinite) memory model for the CompCert front end, and just converting from an infinite memory model to a finite memory model when we go from 3AC to HTL?}\YH{Yes exactly, most papers changed the whole memory model to thread through properties that were then needed in the back end, but we currently don't need to do that. I need to double check though for CompCertELF, it doesn't actually seem to be the case. Will edit this section later.} +\definecolor{compcertmemmodel}{HTML}{e2ccea} +\definecolor{vericertmemmodel}{HTML}{cbe1db} \begin{figure} \centering \begin{tikzpicture} - \draw (0,0) rectangle (5,-5); - \draw (7,0) rectangle (12,-5); + \fill[compcertmemmodel,rounded corners=3pt] (0,0) rectangle (5,-4.3); + \fill[vericertmemmodel,rounded corners=3pt] (7,0) rectangle (12,-4.3); \node[right] at (0,-0.3) {\small \textbf{\compcert{}'s Memory Model}}; \node[right] at (7,-0.3) {\small \textbf{Verilog Memory Representation}}; \node[right] (x0) at (0.2,-1.9) {\small 0}; |