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