mathematic上计算机模拟四犬相逐问题，有图像-mathematic demonstration of four dogs into a phase-by-issue, there is source code and images

12-modulo counter in Verilog. Counts up and down, devides by 2, stops, resets. If <5 Y = 1 . Counter.v is behavioral, counter_b.v - gates level.-12-modulo counter in Verilog. Counts up and down, devides by 2, stops, resets. If <5 Y = 1 . Count