Académique Documents
Professionnel Documents
Culture Documents
1 ESPECIFICACIN FUNCIONAL
Llus Ters
Instituto de Microelectrnica de Barcelona, IMB-CNM (CSIC)
Universitat Autnoma de Barcelona (UAB)
1TIPOSDEINSTRUCCIONES P2.1
nmero instruccin
programa
4
Comentario:
P2.1
Especificacin modificada:
Nmero delainstructionsiguiente
calculado internamente por el
procesador;
programa almacenado en memoria.
(=arcquitectura vonNeumann)
5
Algoritmo:especificacin funcional
number:=0;
P2.1
loop
caseprogram(number)is
when(ASSIGN_VALUE,k,A)=>
X(k):=A;number:=number+1;
when(DATA_INPUT,k,j)=>
X(k):=IN(j);number:=number+1;
when(DATA_OUTPUT,i,j)=>
OUT(i):=X(j);number:=number+1;
when(OUTPUT_VALUE,i,A)=>
OUT(i):=A;number:=number+1;
when(OPERATION,i,j,k,f)=>
X(k):=f(X(i),X(j));number:=number+1;
when(JUMP,N)=>
number:=N;
when(JUMP_POS,i,N)=>
ifX(i)>0thennumber:=N;elsenumber:=number+1;endif;
when(JUMP_NEG,i,N)=> X:vectordeclarado previamente.
ifX(i)<0thennumber:=N;elsenumber:=number+1;endif; Nmero decomponentes X:adefinir
endcase; posteriormente.
endloop; Cada componente Xes unnmero de8bits.
6
(Ejercicio) P2.1
Asumimos que:
7
(Solucin) P2.1
(214 <23,040<215)
8
RESUMEN P2.1
9
P2.1
10
P2.2 ESPECIFICACIN ESTRUCTURAL
Llus Ters
Instituto de Microelectrnica de Barcelona, IMB-CNM (CSIC)
Universitat Autnoma de Barcelona (UAB)
1DIAGRAMADEBLOQUES P2.2
number:=0;
loop Entradasexternas:
caseprogram(number)is IN0,IN1,,IN7;
when(ASSIGN_VALUE,k,A)=>
X(k):=A;number:=number+1; instruction;
when(DATA_INPUT,k,j)=> Salidas externas:
X(k):=IN(j);number:=number+1; OUT0,OUT1,,OUT7;
when(DATA_OUTPUT,i,j)=>
OUT(i):=X(j);number:=number+1; number;
when(OUTPUT_VALUE,i,A)=> Datos internos:X;
OUT(i):=A;number:=number+1;
when(OPERATION,i,j,k,f)=>
X(k):=f(X(i),X(j));number:=number+1;
when(JUMP,N)=> Transferencias dedatos:
number:=N; OUT(i)<=X(j)oA;
when(JUMP_POS,i,N)=>
ifX(i)>0thennumber:=N;elsenumber:=number+1;endif; number <=(number +1)oN;
when(JUMP_NEG,i,N)=> X(k)<=A oIN(j) of;
ifX(i)<0thennumber:=N;elsenumber:=number+1;endif;
endcase;
endloop; operaciones:f(X(i),X(j)).
12
DATOSINTERNOS P2.2
Entradasexternas:
IN0,IN1,,IN7;
instruction;
Salidas externas:
OUT0,OUT1,,OUT7;
number;
Datos internos:X;
Transferencias dedatos:
OUT(i)<=X(j)orA;
number <=(number +1)orN;
X(k)<=A orIN(j) orf;
operaciones:f(X(i),X(j)).
13
TRANSFERENCIASDEDATOSyOPERACIONES P2.2
Entradasexternas:
IN0,IN1,,IN7;
instruction;
Salidas externas:
OUT0,OUT1,,OUT7;
number;
Datos internos:X;
Transferencias dedatos:
OUT(i)<=X(j)orA;
number <=(number +1)orN;
X(k)<=A orIN(j) orf;
operaciones:f(X(i),X(j)).
14
DIAGRAMADEBLOQUES P2.2
seleccinentrada seleccinsalida
bancode programa
registros
{X(i)}
go to
recursosde
clculo
15
INSTRUCCIONES(especificacionesadicionales) P2.2
Cdigo ylista deparmetros Operacin
(ASSIGN_VALUE,k,A) Xk :=A;
(DATA_INPUT,k,j) Xk :=INj;
(DATA_OUTPUT,i,j) OUTi :=Xj;
(OUTPUT_VALUE,i,A) OUTi :=A,
(OPERATION,i, j, k, f) Xk :=f(Xi,Xj);
(JUMP,N) gotoN;
(JUMP_POS,i,N) ifXi>0gotoN;
(JUMP_NEG,i,N) ifXi<0gotoN;
Solodosoperaciones f:+y;
Bancoderegistros:16registros (i,j, k: sonnmeros de4bits);
nmero mximo deinstrucciones:256 (N es unnmero de8bits).
21