Rsk
18-09-2009, 18:38
Ragazzi ho bisogno d'aiuto per capire la semantica delle espressioni e delle micro operazioni.
Definiamo lo stato della macchina firmware
come una tripla (i,R,M), dove:
● i ∈ Nat è l'etichetta della microistruzione corrente
● R è lo stato di un insieme di registri di 16 bit
● M è lo stato di una memoria di 216
locazioni, ognuna contenente una parola di 16 bit
Formalmente, definiamo:
● Val: {0,1}16 (v,v',... ∈ Val)
● R: RegId → Val (A,B,Z,... ∈ RegId)
● M: Val → Val
Volevo sapere come si leggono gli schemi seguenti, anche un solo esempio, e cosa si intende per sostituzione nella seconda slide.
http://img41.imageshack.us/img41/8643/lts.th.png (http://img41.imageshack.us/i/lts.png/)
http://img41.imageshack.us/img41/4261/lts2.th.png (http://img41.imageshack.us/i/lts2.png/)
Definiamo lo stato della macchina firmware
come una tripla (i,R,M), dove:
● i ∈ Nat è l'etichetta della microistruzione corrente
● R è lo stato di un insieme di registri di 16 bit
● M è lo stato di una memoria di 216
locazioni, ognuna contenente una parola di 16 bit
Formalmente, definiamo:
● Val: {0,1}16 (v,v',... ∈ Val)
● R: RegId → Val (A,B,Z,... ∈ RegId)
● M: Val → Val
Volevo sapere come si leggono gli schemi seguenti, anche un solo esempio, e cosa si intende per sostituzione nella seconda slide.
http://img41.imageshack.us/img41/8643/lts.th.png (http://img41.imageshack.us/i/lts.png/)
http://img41.imageshack.us/img41/4261/lts2.th.png (http://img41.imageshack.us/i/lts2.png/)