SVA Simple challenge: Write design and SVA for a down counter

In reply to ben@SystemVerilog.us:

Thank you very much… Ben.