branch for universe

[helm.git] / matita / contribs / assembly / freescale / doc / ordine_compilazione.txt

diff --git a/matita/contribs/assembly/freescale/doc/ordine_compilazione.txt b/matita/contribs/assembly/freescale/doc/ordine_compilazione.txt
new file mode 100644 (file)
index 0000000..604286e
--- /dev/null
+++ b/matita/contribs/assembly/freescale/doc/ordine_compilazione.txt
@@ -0,0 +1,40 @@
+\r
+tutte le definizioni fanno capo a\r
+ cic:/matita/freescale/...\r
+\r
+extra.ma\r
+exadecim.ma\r
+byte8.ma\r
+word16.ma\r
+aux_bases.ma\r
+opcode.ma\r
+table_HC05.ma\r
+table_HC08.ma\r
+table_HCS08.ma\r
+table_RS08.ma\r
+translation.ma\r
+memory_struct.ma\r
+memory_func.ma\r
+memory_trees.ma\r
+memory_bits.ma\r
+memory_abs.ma\r
+status.ma\r
+model.ma\r
+load_write.ma\r
+multivm.ma\r
+micro_tests.ma\r
+medium_tests_tools.ma\r
+medium_tests.ma\r
+tests.ma\r
+\r
+dubbi:\r
+1) atomicita' istruzione\r
+   - overflow su pc durante fetch opcode/immediati/indirizzi (ammesso)\r
+   - overflow su indiretto durante caricamento operandi (non ammesso)\r
+2) atomicita' salto\r
+   - overflow su pc in seguito a branch (ammesso)\r
+3) cosa succede con un ILLEGAL OPCODE\r
+   - nell'HC05\r
+   - nell'HC08/HCS08/RS08 con mascheramento ILLEGAL OPCODE\r
+4) cosa succede con un ILLEGAL ADDRESS\r
+   - nell'HC08/HCS08/RS08 con mascheramento ILLEGAL ADDRESS\r