SystemVerilog Design of Timed (Category 2) State Machines | part of Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog) | MIT Press books | IEEE Xplore