diff options
Diffstat (limited to 'src/hls/HTL.v')
| -rw-r--r-- | src/hls/HTL.v | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/hls/HTL.v b/src/hls/HTL.v index 551c66e..47f2092 100644 --- a/src/hls/HTL.v +++ b/src/hls/HTL.v @@ -36,13 +36,10 @@ Require Import ValueInt. Local Open Scope positive. -(*| -The purpose of the hardware transfer language (HTL) is to create a more -hardware-like layout that is still similar to the register transfer language -(RTL) that it came from. The main change is that function calls become module -instantiations and that we now describe a state machine instead of a -control-flow graph. -|*) +(** The purpose of the hardware transfer language (HTL) is to create a more hardware-like layout +that is still similar to the register transfer language (RTL) that it came from. The main change is +that function calls become module instantiations and that we now describe a state machine instead of +a control-flow graph. *) Local Open Scope assocmap. |