drbitboy
Lifetime Supporting Member
I think it's the other way around: top GRT; bottom LEQ.
Also, I just realized that top GRT-driven MOV should move 0 (not 1) to TxRecordNumber i.e. when rung starts with TxRecordNumber as 255, because bottom LEQ-driven MOV will then increment TxRecordNumber from 0 to 1.
Here is proof: only LEQ(val,N-1) on the bottom adding 1 to the counter, and GRT(val,N-1) on top MOVing zero into the counter, generates 1,2,...,N.
- 00incrementer_leq_top.RSS/.pdf has LEQ on the bottom and the GRT puts 1 into the counter
- 01incrementer_leq_top_uploaded.RSS/.pdf is the previous .RSS after about sixty scans; the counter was never 3
- 02incrementer_grt_top.RSS/.pdf has GRT on the top putting 1 into the counter
- 03incrementer_grt_top_uploaded.RSS/.pdf is the previous .RSS after about sixty scans; counter was never 1
- 04incrementer_grt_top.RSS/.pdf has GRT on the top putting 0 into the counter
- 05incrementer_grt_top_uploaded.RSS/.pdf is the previous .RSS after about sixty scans; counter was all values 1 through 3.