A real-time model of microprogrammed hardware is described. It is used for firmware classification and for stating the conditions under which an equivalent discrete-time model can be introduced. We also give a brief description of a computer-aided firmware design system, which was based on these models.
/lp/association-for-computing-machinery/on-fundamentals-of-computer-aided-design-of-firmware-5IFPfyZJB0