mirror of https://github.com/YosysHQ/yosys.git
25 lines
466 B
Plaintext
25 lines
466 B
Plaintext
read_verilog <<EOT
|
|
module top #(
|
|
parameter integer WIDTH = 12
|
|
)(
|
|
output reg [WIDTH:0] cnt,
|
|
input wire clk,
|
|
input wire rst
|
|
);
|
|
wire last_n;
|
|
|
|
assign last_n = cnt[WIDTH];
|
|
|
|
always @(posedge clk or posedge rst)
|
|
if (rst)
|
|
cnt <= 0;
|
|
else
|
|
cnt <= last_n ? ( cnt + { (WIDTH+1){last_n} } ) : 13'h1aaa;
|
|
|
|
endmodule
|
|
EOT
|
|
|
|
synth_ice40
|
|
splitnets
|
|
select -assert-count 12 t:SB_CARRY %co:+[CO] t:SB_LUT4 %ci:+[I3] %i
|