100644 blob 7122e8b971fd1649c64f664caa8414736a4700e2	counter.golden.txt
100644 blob 5475822aa7e707a842a4a26766056b2979c1f0c3	counter.tcl
100644 blob 564fae58fbc15c069a9f7fff0fdb99efc1a829d2	counter.v