aboutsummaryrefslogtreecommitdiffstats
path: root/tests/anlogic/fsm.v
diff options
context:
space:
mode:
authorMiodrag Milanović <mmicko@gmail.com>2019-10-18 14:29:44 +0200
committerGitHub <noreply@github.com>2019-10-18 14:29:44 +0200
commite8ef3fcdfcacbc711a4722deee95f0707634bed0 (patch)
tree971fae1a1b7d3204827759454fa55accdc9bc01f /tests/anlogic/fsm.v
parent3c41599ee1f62e4d77ba630fa1a245ef3fe236fa (diff)
parent190b40341abd73ab5edf0e6740b6526e9575253b (diff)
downloadyosys-e8ef3fcdfcacbc711a4722deee95f0707634bed0.tar.gz
yosys-e8ef3fcdfcacbc711a4722deee95f0707634bed0.tar.bz2
yosys-e8ef3fcdfcacbc711a4722deee95f0707634bed0.zip
Merge pull request #1454 from YosysHQ/mmicko/common_tests
Share common tests
Diffstat (limited to 'tests/anlogic/fsm.v')
-rw-r--r--tests/anlogic/fsm.v55
1 files changed, 0 insertions, 55 deletions
diff --git a/tests/anlogic/fsm.v b/tests/anlogic/fsm.v
deleted file mode 100644
index 368fbaace..000000000
--- a/tests/anlogic/fsm.v
+++ /dev/null
@@ -1,55 +0,0 @@
- module fsm (
- clock,
- reset,
- req_0,
- req_1,
- gnt_0,
- gnt_1
- );
- input clock,reset,req_0,req_1;
- output gnt_0,gnt_1;
- wire clock,reset,req_0,req_1;
- reg gnt_0,gnt_1;
-
- parameter SIZE = 3 ;
- parameter IDLE = 3'b001,GNT0 = 3'b010,GNT1 = 3'b100,GNT2 = 3'b101 ;
-
- reg [SIZE-1:0] state;
- reg [SIZE-1:0] next_state;
-
- always @ (posedge clock)
- begin : FSM
- if (reset == 1'b1) begin
- state <= #1 IDLE;
- gnt_0 <= 0;
- gnt_1 <= 0;
- end else
- case(state)
- IDLE : if (req_0 == 1'b1) begin
- state <= #1 GNT0;
- gnt_0 <= 1;
- end else if (req_1 == 1'b1) begin
- gnt_1 <= 1;
- state <= #1 GNT0;
- end else begin
- state <= #1 IDLE;
- end
- GNT0 : if (req_0 == 1'b1) begin
- state <= #1 GNT0;
- end else begin
- gnt_0 <= 0;
- state <= #1 IDLE;
- end
- GNT1 : if (req_1 == 1'b1) begin
- state <= #1 GNT2;
- gnt_1 <= req_0;
- end
- GNT2 : if (req_0 == 1'b1) begin
- state <= #1 GNT1;
- gnt_1 <= req_1;
- end
- default : state <= #1 IDLE;
- endcase
- end
-
-endmodule