The flow of control signals in digital computers is modelled as destructible flows in controlled graphs where each vertex i ε V(G) represents some module of a system z n . By establishing a flow path from vertex i to vertex j an edge x ε E(G) is created which represents a microinstruction. For all sets of vertices V(G) exist a connectivity matrix C on which a set of microinstructions μ I(z n ) can be defined. The model can be used to answer several computer design questions including cost-effective control paths, control functions extensions and coding and in digital systems design optimization.
/lp/association-for-computing-machinery/characterisation-of-microinstructions-as-destructible-flows-in-9XSgHx05lP