Toggle Flip Flop in ABEL

Ich versuche seit geraumer Zeit einen Toggle Flip Flop in ABEL zu 
schreiben. Jetzt habe ich zwar einen, doch möchte ich, dass der Takt 
nicht von Tastern angegeben wird, sondern von LEDs. Jedoch prüfen die 
LEDs nach den Ausgängen des TFF. Näheres wird in der Skizze beschrieben.

Jetzt habe ich aber folgendes Problem. Mein IC (ispLSI 1016) startet 
zwar das draufgeladen Programm, doch bleiben alle Ausgänge aus. Gibt es 
eine geschickte Möglichkeit, ein kurzes High auf das x oder o zu setzen?

Hier der Quellcode:

1

x.d   = !x.q;

2

x.clk = ax & ao;

3

o.d   = x.q;

4

o.clk = ax & ao;

5

6

ax = Taster1 & !ao & x & !Reset1  #  ax & !Reset1;

7

ao = Taster2 & !ax & o & !Reset2  #  ao & !Reset2;

Ich freue mich schon auf Hilfen!