Manuscript En05-A@1 · En05-A.tex · section · f076e703
Legal reorderings of fixed channels
Two retiming statements and a boost-closure limitation › Legal reorderings of fixed channels · lines 1487–1494
Records and resource wires belong to the supports. The proposition does not move a gate before a gate that creates a record it reads, and it does not identify channels obtained by changing a geometric parameter. This is the fixed-channel retiming statement in Cheung VII-E and En03-A CheungVIIE,CheungEn03.