Merge pull request #93 from rlutz/extra-bits

icebox: Preserve extra bits when writing to file
YosysHQ · Aug 25, 2017 · 7b07cd4 · 7b07cd4
2 parents 1565fdc + 7e692cb
commit 7b07cd4
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):