System-Level Hardware Design with µ-Charts
Jan Philipps, Peter Scholz · 1997
μ-Charts are a synchronous specification language for reactive systems with a compositional semantics. We show how a μ-Chart can be implemented in hardware, using a register and a combinational logic block that represents the transition relation of the system.