A proposal for ASM++ diagrams

Algorithmic State Machines are a 40-year old tool for the design of digital circuits. They are a good alternative to finite state machines, where only states can be properly described, but actions must be annotated as lateral comments. However, current notation for these diagrams has several limitations for medium-large designs, and often lateral annotations are finally needed. This paper presents an alternative notation for ASM diagrams, trying to overcome these limitations. This new notation is more consistent and thus more convenient for CAD tools.