X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fstatus%2FRS08_status.ma;h=e446b292fd7c4c2abbcd020db20a923ccfd57b91;hb=b31c093c364e76cc6c4657008f3f259955311911;hp=2b84717f832523f834e5d04b54d730650ef3cfc9;hpb=b886a562ccbfc3f63b8f64a135bcf70e4b189999;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.ma b/helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.ma
index 2b84717f8..e446b292f 100755
--- a/helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.ma
@@ -44,16 +44,12 @@ nrecord alu_RS08: Type ≝
  (* X: registro indice parte bassa *)
  (* NB: in realta' e' mappato in memoria e non risiede nella ALU *)
  (* la lettura/scrittura avviene tramite la locazione [0x000F] *)
- (* la funzione memory_filter_read/write si occupera' di intercettare *)
- (* e deviare sul registro le letture/scritture (modulo load_write) *)
  x_map_RS08 : byte8;
  (* PS: registro selezione di pagina *)
  (* serve a indirizzare la finestra RAM di 64b [0x00C0-0x00FF] *)
  (* su tutta la memoria installata [0x0000-0x3FFF]: [00pp pppp ppxx xxxx] *)
  (* NB: in realta' e' mappato in memoria e non risiede nella ALU *)
  (* la lettura/scrittura avviene tramite la locazione [0x001F] *)
- (* la funzione memory_filter_read/write si occupera' di intercettare *)
- (* e deviare sul registro le letture/scritture (modulo load_write) *)
  ps_map_RS08 : byte8;
  
  (* Z: flag zero *)