From 14bb9cda8352388bcd33ba9ca2700805dc51639f Mon Sep 17 00:00:00 2001
From: azidar
Date: Mon, 18 May 2015 20:33:23 -0700
Subject: First pass at a Verilog Backend. Not tested, but compiles and
 generates reasonable verilog. Requires inlining, future versions will
 instantiate modules

---
 TODO | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'TODO')

diff --git a/TODO b/TODO
index ac17f5f9..9a03aa85 100644
--- a/TODO
+++ b/TODO
@@ -22,12 +22,12 @@ BlackBoxes
 Scaling
 
 ======== Verilog Backend Notes ========
-1) Emit module. No Parameters. Include clk and reset signals
-2) Emit all declarations (wires,regs)
-3) Initialize all regs with random values under synthesis
-4) Emit all connections as assign statements
-5) Emit assertions under always @ posedge clk, under synthesisp
-6) Emit all register updates:
+* 1) Emit module. No Parameters. Include clk and reset signals
+o 2) Emit all declarations (wires,regs)
+o 3) Initialize all regs with random values under synthesis
+o 4) Emit all connections as assign statements
+o 5) Emit assertions under always @ posedge clk, under synthesis
+o 6) Emit all register updates:
       if(io_update_valid) begin
          R4 <= io_update_bits_target;
       end
-- 
cgit v1.2.3