(* data ultima modifica 15/11/2007 *)
(* ********************************************************************** *)
-set "baseuri" "cic:/matita/freescale/micro_tests/".
-
-(*include "/media/VIRTUOSO/freescale/multivm.ma".*)
include "freescale/multivm.ma".
(* ****************************************** *)
(* [0x3814] goto l1 3clk *) (compile m ? BRA (maIMM1 〈xE,xE〉) I)
(* [0x3816] (l2) si puo' quindi enunciare che
- il caso base X * 0 richiede 12 cicli
- - bisogna aggiungere Y * 26 cicli, Y>0\r
+ - bisogna aggiungere Y * 26 cicli, Y>0
- bisogna aggiungere ZH * 5 cicli, X * Y > 0xFF *)
).