Coverage Summary:
  line       : 35.5% (11/31)
  toggle     : 100.0% (20/20)
  branch     : 25.0% ( 2/ 8)
  expr       : 25.0% ( 2/ 8)
  fsm_state  : 83.3% ( 5/ 6)
  fsm_arc    : 75.0% ( 6/ 8)
  covergroup : 80.0% ( 8/10)
