Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a

Clock and description register

Shared finite Enter certificate interface › Clock and description register · lines 2228–2237

Back to manuscript

Choose one finite clock , , with basis , and let contain all surviving registers. Put

Displayed formulas in this passage

  • unlabeled · line 2234

Nearby in this section