Devise a notation for ASM architecture rules which exhibits together with the updates also the hardware links (i.e. the “connection” between terms and their value providing subterms), to serve as a...

Devise a notation for ASM architecture rules which exhibits together with the updates also the hardware links (i.e. the “connection” between terms and their value providing subterms), to serve as a measure for the hardware cost of a proposed refinement Enhance the method shown above to verify common out-of-order-completion techniques, appropriate for pipelines with long-running operations, where an instruction fetched early may complete after an instruction fetched later (see for example the architecture in [102]).