Improve fixed-point test model. Add tests cases for values that can't be precisely represented in binary.
This PR also switches to fixed-point for some GTKWave signals.
Thanks to @democrito for raising issue #164, which revealed this problem.
There is still an inconsistency between how the Python fixed-point model and Verilog handle some numbers that can't be precisely represented in binary: see issue #167.
Improve fixed-point test model. Add tests cases for values that can't be precisely represented in binary.
This PR also switches to fixed-point for some GTKWave signals.
Thanks to @democrito for raising issue #164, which revealed this problem.
There is still an inconsistency between how the Python fixed-point model and Verilog handle some numbers that can't be precisely represented in binary: see issue #167.