Du mußt im Datenblatt schauen, ob der Chip überhaupt BEIDE Flanken kann.
Der Atmega32 z.B. kann es NICHT (und 90S2313 auch nicht)
Simulator weiß ich nicht, verwend' ich nie.
Probier mal, ob du nicht mit EINER Flanke fürs Erste auch zurechtkommst.
Kann dir jetzt nix besseres anbieten, die Statements im Programm stimmen, da is nix. Du hast es ja auch kontrolliert.