mirror of
https://github.com/YosysHQ/yosys
synced 2025-09-05 01:27:43 +00:00
Added tests for attributes
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
This commit is contained in:
parent
a6cadf6318
commit
5739cf5265
9 changed files with 219 additions and 0 deletions
26
tests/simple/attrib09_case.v
Normal file
26
tests/simple/attrib09_case.v
Normal file
|
@ -0,0 +1,26 @@
|
|||
module bar(clk, rst, inp, out);
|
||||
input wire clk;
|
||||
input wire rst;
|
||||
input wire [1:0] inp;
|
||||
output reg [1:0] out;
|
||||
|
||||
always @(inp)
|
||||
(* full_case, parallel_case *)
|
||||
case(inp)
|
||||
2'd0: out <= 2'd3;
|
||||
2'd1: out <= 2'd2;
|
||||
2'd2: out <= 2'd1;
|
||||
2'd3: out <= 2'd0;
|
||||
endcase
|
||||
|
||||
endmodule
|
||||
|
||||
module foo(clk, rst, inp, out);
|
||||
input wire clk;
|
||||
input wire rst;
|
||||
input wire [1:0] inp;
|
||||
output wire [1:0] out;
|
||||
|
||||
bar bar_instance (clk, rst, inp, out);
|
||||
endmodule
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue