icebox: Preserve extra bits when writing to file

YosysHQ · Aug 25, 2017 · 7e692cb · 7e692cb
1 parent 873eb9e
commit 7e692cb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/icebox/icebox.py b/icebox/icebox.py
@@ -690,6 +690,8 @@ def write_file(self, filename):
                 print(".ram_data %d %d" % (x, y), file=f)
                 for line in self.ram_data[(x, y)]:
                     print(line, file=f)
+            for extra_bit in sorted(self.extra_bits):
+                print(".extra_bit %d %d %d" % extra_bit, file=f)
 
 class tileconfig:
     def __init__(self, tile):