of state-trace designs.  The book offers instructions on how to perform state-trace