Some Comments on Postcorrections for Nonrestoring Division

Assumptions for the problem of postcorrection in nonrestoring division, as treated in a previous note by Rhyne, are reviewed. A specific type of quotient and remainder with the so-called concatenation property is then defined for. signed operands. A criterion is also given, extending the one given by Rhyne, to determine postcorrections applicable to quotient and remainder resulting from nonrestoring division, so as to obtain the concatenation property, and is applied to a specific example.