512be00008d3872968cf22c5983c07955dc16224
1 # IEEE Floating Point Adder (Single Precision)
2 # Copyright (C) Jonathan P Dawson 2013
5 from nmigen
import Module
, Signal
6 from nmigen
.cli
import main
, verilog
8 from fpbase
import FPNumOut
9 from fpbase
import FPState
10 from fpcommon
.roundz
import FPRoundData
15 def __init__(self
, width
, id_wid
):
16 self
.z
= Signal(width
, reset_less
=True)
17 self
.mid
= Signal(id_wid
, reset_less
=True)
20 return [self
.z
.eq(i
.z
), self
.mid
.eq(i
.mid
)]
23 return [self
.z
, self
.mid
]
28 def __init__(self
, width
, id_wid
):
35 return FPRoundData(self
.width
, self
.id_wid
)
38 return FPPackData(self
.width
, self
.id_wid
)
43 def setup(self
, m
, in_z
):
44 """ links module to inputs and outputs
46 m
.submodules
.pack
= self
47 m
.d
.comb
+= self
.i
.eq(in_z
)
49 def elaborate(self
, platform
):
51 z
= FPNumOut(self
.width
, False)
52 m
.submodules
.pack_in_z
= self
.i
.z
53 m
.submodules
.pack_out_z
= z
54 m
.d
.comb
+= self
.o
.mid
.eq(self
.i
.mid
)
55 with m
.If(~self
.i
.out_do_z
):
56 with m
.If(self
.i
.z
.is_overflowed
):
57 m
.d
.comb
+= z
.inf(self
.i
.z
.s
)
59 m
.d
.comb
+= z
.create(self
.i
.z
.s
, self
.i
.z
.e
, self
.i
.z
.m
)
61 m
.d
.comb
+= z
.v
.eq(self
.i
.oz
)
62 m
.d
.comb
+= self
.o
.z
.eq(z
.v
)
66 class FPPack(FPState
):
68 def __init__(self
, width
, id_wid
):
69 FPState
.__init
__(self
, "pack")
70 self
.mod
= FPPackMod(width
)
71 self
.out_z
= self
.ospec()
74 return self
.mod
.ispec()
77 return self
.mod
.ospec()
79 def setup(self
, m
, in_z
):
80 """ links module to inputs and outputs
82 self
.mod
.setup(m
, in_z
)
84 m
.d
.sync
+= self
.out_z
.v
.eq(self
.mod
.out_z
.v
)
85 m
.d
.sync
+= self
.out_z
.mid
.eq(self
.mod
.o
.mid
)