Hello. My task is to simulate asynchronous negative-edge triggering counter modulo 9. So far I managed to make everything mentioned before except for modulo operation. I'm not sure why my idea is not working - I want to check when there will be 1011 binary combination representing 11 in decimal and then send CLR to every flip-flop. I'm using NAND gate to propagate logical low level.
Also I would like to convert output to Aiken code. Will it be enough if I would just simply make BCD-Aiken conversion on the output?

Also I would like to convert output to Aiken code. Will it be enough if I would just simply make BCD-Aiken conversion on the output?
