Automate - Revizia istoricului

Rhobincu: /* Exemplu */

2012-04-22T09:21:18Z

Exemplu

2012-04-21T19:53:10Z

Interfața unui automat

2012-04-21T19:50:17Z

Implementarea unui automat

2012-04-21T19:47:27Z

Interfața unui automat

2012-04-21T19:37:59Z

Exemplu

2012-04-21T19:35:42Z

Exemplu

2012-04-21T19:09:29Z

Exemplu

2012-04-21T18:32:10Z

Implementarea unui automat

2012-04-21T17:38:14Z

2012-04-21T17:02:00Z

@@ Linia 60: / Linia 60: @@
 	end else begin
 		case(state)
-			`STAREA_0:
+			`STAREA_0: begin
 				if(in0 == 4'd12) begin
 					state <= `STAREA_1;
@@ Linia 66: / Linia 66: @@
 					state <= `STAREA_4;
 				end
-			`STAREA_1:
+			end
 				if(in1) begin
 					state <= `STAREA_0;
@@ Linia 72: / Linia 73: @@
 					state <= `STAREA_2;
 				end
-			`STAREA_2:
+			end
 				if(in1) begin
 					state <= `STAREA_0;
@@ Linia 80: / Linia 82: @@
 					state <= `STAREA_3;
 				end
-			`STAREA_3:
+			end
 				if(!in1) begin
 					state <= `STAREA_4;
 				end
-			`STAREA_4:
+			end
 				state <= `STAREA_4;
-			default: state <= `STAREA_0;
+			end
 		endcase
 	end

@@ Linia 22: / Linia 22: @@
 * un număr oarecare de ieșiri, cu diferite funcții;
-'''Observație:''' Un automat are în mod obligatoriu port de reset. Cand reset-ul este activ, automatul trece într-una din stări, care este desemnată starea inițială.
+<div class="regula"><font color="red">'''Regulă:'''</font> Un automat are în mod obligatoriu port de reset. Cand reset-ul este activ, automatul trece într-una din stări, care este desemnată starea inițială.</div>
 == Implementarea unui automat ==

← Versiunea anterioară		Versiunea de la data 21 aprilie 2012 19:50
Linia 27:		Linia 27:

	Partea de implementare a unui automat este compusă din definiția unui '''registru de stare''' pe un număr suficient de biți pentru a putea codifica numărul de stări dorite, și definiția tranzițiilor stărilor și ieșirilor, implementate cu ajutorul unui bloc '''always''' secvențial și un sub-bloc '''case'''.		Partea de implementare a unui automat este compusă din definiția unui '''registru de stare''' pe un număr suficient de biți pentru a putea codifica numărul de stări dorite, și definiția tranzițiilor stărilor și ieșirilor, implementate cu ajutorul unui bloc '''always''' secvențial și un sub-bloc '''case'''.
		+
		+	'''Observație:''' Dacă automatul ajunge într-o stare nedefinită, atunci tranziția următoare este într-o stare defintă ca stare de eroare, sau în starea inițială, după caz. Stările nedefinite sunt cele care în blocul '''case''' sunt tratate de condiția '''default'''.

	== Exemplu ==		== Exemplu ==

@@ Linia 21: / Linia 21: @@
 * un număr oarecare de intrări, cu diferite funcții;
 * un număr oarecare de ieșiri, cu diferite funcții;
 == Implementarea unui automat ==

@@ Linia 28: / Linia 28: @@
 == Exemplu ==
-Se dă ca exemplu automatul descris de diagrama din figura următoare:
+Se dă ca exemplu automatul descris de diagrama din figura următoare, unde ieșirea este chiar codul stării:
 [[Fișier:fsm1.png|Diagramă automat exemplu]]
-Codul care descrie tranziția stărilor este următorul:
+Codul care descrie automatul este următorul:
 <syntaxhighlight lang="Verilog">

← Versiunea anterioară		Versiunea de la data 21 aprilie 2012 19:35
Linia 31:		Linia 31:

	[[Fișier:fsm1.png\|Diagramă automat exemplu]]		[[Fișier:fsm1.png\|Diagramă automat exemplu]]
		+
		+	Codul care descrie tranziția stărilor este următorul:
		+
		+	<syntaxhighlight lang="Verilog">
		+	`define STAREA_0 3'b000
		+	`define STAREA_1 3'b001
		+	`define STAREA_2 3'b010
		+	`define STAREA_3 3'b011
		+	`define STAREA_4 3'b100
		+
		+	module TestFSM(
		+	output [2:0] out,
		+	input [3:0] in0,
		+	input in1,
		+	input clock,
		+	input reset
		+	);
		+
		+	reg [2:0] state;
		+
		+	always@(posedge clock) begin
		+	if(reset) begin
		+	state <= `STAREA_0;
		+	end else begin
		+	case(state)
		+	`STAREA_0:
		+	if(in0 == 4'd12) begin
		+	state <= `STAREA_1;
		+	end else begin
		+	state <= `STAREA_4;
		+	end
		+	`STAREA_1:
		+	if(in1) begin
		+	state <= `STAREA_0;
		+	end else begin
		+	state <= `STAREA_2;
		+	end
		+	`STAREA_2:
		+	if(in1) begin
		+	state <= `STAREA_0;
		+	end else if(in0 == 4'd10) begin
		+	state <= `STAREA_4;
		+	end else begin
		+	state <= `STAREA_3;
		+	end
		+	`STAREA_3:
		+	if(!in1) begin
		+	state <= `STAREA_4;
		+	end
		+	`STAREA_4:
		+	state <= `STAREA_4;
		+	default: state <= `STAREA_0;
		+	endcase
		+	end
		+	end
		+
		+	assign out = state;
		+
		+	endmodule
		+	</syntaxhighlight>

← Versiunea anterioară		Versiunea de la data 21 aprilie 2012 18:32
Linia 25:		Linia 25:

	Partea de implementare a unui automat este compusă din definiția unui '''registru de stare''' pe un număr suficient de biți pentru a putea codifica numărul de stări dorite, și definiția tranzițiilor stărilor și ieșirilor, implementate cu ajutorul unui bloc '''always''' secvențial și un sub-bloc '''case'''.		Partea de implementare a unui automat este compusă din definiția unui '''registru de stare''' pe un număr suficient de biți pentru a putea codifica numărul de stări dorite, și definiția tranzițiilor stărilor și ieșirilor, implementate cu ajutorul unui bloc '''always''' secvențial și un sub-bloc '''case'''.
		+
		+	== Exemplu ==

← Versiunea anterioară		Versiunea de la data 21 aprilie 2012 17:38
Linia 9:		Linia 9:

	La fiecare front de ceas, automatul face tranziția la starea următoare, calculată de către circuitul logic combinațional.		La fiecare front de ceas, automatul face tranziția la starea următoare, calculată de către circuitul logic combinațional.
		+
		+	'''Observație:''' Numărul total de stări disponibil unui automat este dat de numărul de biți ai registrului de stare.
		+
		+	'''Observație:''' Există moduri de codificare a stărilor care să permită tranziția sigură în cazul intrărilor asincrone. Din fericire, programele de sinteză moderne detectează automat aceste cazuri și recodifică stările corespunzător.
		+
		+	== Interfața unui automat ==
		+
		+	Interfața unui automat este compusă din următoarele porturi:
		+	* semnalul de ceas, ca intrare;
		+	* semnalul de reset, ca intrare;
		+	* un număr oarecare de intrări, cu diferite funcții;
		+	* un număr oarecare de ieșiri, cu diferite funcții;
		+
		+	== Implementarea unui automat ==
		+
		+	Partea de implementare a unui automat este compusă din definiția unui '''registru de stare''' pe un număr suficient de biți pentru a putea codifica numărul de stări dorite, și definiția tranzițiilor stărilor și ieșirilor, implementate cu ajutorul unui bloc '''always''' secvențial și un sub-bloc '''case'''.

@@ Linia 1: / Linia 1: @@
 Automatul este un circuit secvențial, utilizat pentru a programa o secvență de operații. Un automat este definit de următoarele elemente:
 * o mulțime de valori de intrare (care în cazul circuitelor sunt porturi de intrare);
@@ Linia 5: / Linia 7: @@
 * o funcție de tranziție a stărilor, care calculează starea următoare a automatului în funcție de starea curentă și valorile intrărilor (care în cazul circuitelor este un modul combinațional);
 * o funcție de tranziție a ieșirilor care calculează următoarea valoare a ieșirilor, în funcție de starea curentă (în cazul automatelor de tip Moore), sau în funcție de starea curentă și valorile intrărilor (în cazul automatelor de tip Mealy) (care în cazul circuitelor este un modul combinațional).