Gast
#663012
Hallo. Ich arbeite an einem Simulator für die ATMega Familie, der von einem Model Checker benutzt wird. Wir liegen zur Zeit in den letzen Zügen, jedoch komme ich nun auf ein Problem zurück, dass ich damals zurückgestellt habe: Auf Seite 250 der vollständigen ATMega16 Dokumentation ist das SPMCR erklärt, jedoch wird der begriff "page load" benutzt, ohne genau definiert zu sein. Das RWWSB wird bei einem "page load" automatisch gecleared, außerdem verhindert das schreiben des RWWSRE eine "flash load operation", deren Daten dann verloren gehen. Das ganze macht für mich wenig Sinn, da LPM (so wie ich es verstanden habe) atomar abläuft. Ist damit das dekodieren der Befehle gemeint? Ich würde diese Sonderfälle gerne in den Simulator einbeziehen, um die Simulation so genau wie möglich zu gestalten. Ein paar klärende Worte zu diesen Seiteneffekten wären sehr nett. MfG Volker Kamin RWTH Aachen Lehrstuhl Informatik 11 - Software für eingebettete Systeme Ahornstraße 55 52074 Aachen fon: +49 241 80 21166 mail: volker.kamin@ixi.informatik.rwth-aachen.de web: http://www-i11.informatik.rwth-aachen.de