From 473bc1ff7b3639164ae94eaa91f3f5916f468911 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 14 Apr 2018 12:28:03 +0100
Subject: [PATCH] must declare mux selection same bitwidth

---
 src/bsv/pinmux_generator.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/bsv/pinmux_generator.py b/src/bsv/pinmux_generator.py
index 7a01fb3..d45f5df 100644
--- a/src/bsv/pinmux_generator.py
+++ b/src/bsv/pinmux_generator.py
@@ -170,9 +170,7 @@ def write_pmp(pmp, p, ifaces):
         for cell in p.muxed_cells:
             bsv_file.write(
                 mux_interface.ifacedef(
-                    cell[0], 'Bit#(' + str(int(
-                        math.log(
-                            len(cell) - 1, 2))) + ')'))
+                    cell[0], cell_bit_width))
         bsv_file.write('''
     endinterface;
     interface peripheral_side = interface PeripheralSide
-- 
2.30.2