Extend CLZ to work over even, non powers of 2

[ieee754fpu.git] / src / ieee754 / cordic / formal / proof_clz.py

diff --git a/src/ieee754/cordic/formal/proof_clz.py b/src/ieee754/cordic/formal/proof_clz.py
index 3eb4f5e42200b4d5b95de91f964d271cffb886c4..273fc61f05b8869be49a988639156bfe667cf472 100644 (file)
--- a/src/ieee754/cordic/formal/proof_clz.py
+++ b/src/ieee754/cordic/formal/proof_clz.py
@@ -17,7 +17,7 @@ class Driver(Elaboratable):
     def elaborate(self, platform):
         m = Module()
         comb = m.d.comb
-        width = 32
+        width = 10
 
         m.submodules.dut = dut = CLZ(width)
         sig_in = Signal.like(dut.sig_in)