In the makehint module observed a deviation in the spec and rtl for the computation of the hint as described below.
Here in the spec there are three different comparison's for the “r”, i.e <= , > ,= (look for pg 72 "hint" diagram). But in the rtl, the three comparisons are <= ,>= ,=.
Next, in pg no. 74 it is written as "the controller flushes out the buffer at the end of each polynomial and writes the remaining data to the register API. " Whereas it just does it for the last polynomial.
In the makehint module observed a deviation in the spec and rtl for the computation of the hint as described below.
Here in the spec there are three different comparison's for the “r”, i.e <= , > ,= (look for pg 72 "hint" diagram). But in the rtl, the three comparisons are <= ,>= ,=.
Next, in pg no. 74 it is written as "the controller flushes out the buffer at the end of each polynomial and writes the remaining data to the register API. " Whereas it just does it for the last polynomial.