blob: a3cb8daec60fe6c9c4223a8a568c9fa07102e50a [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
//
// Testbench module for prim_count.
// Intended to be used with a formal tool.
`include "prim_assert.sv"
module prim_count_tb #(
parameter int Width = 2,
parameter logic [Width-1:0] ResetValue = '0
) (
input clk_i,
input rst_ni,
input clr_i,
input set_i,
input [Width-1:0] set_cnt_i,
input incr_en_i,
input decr_en_i,
input [Width-1:0] step_i,
output logic [Width-1:0] cnt_o,
output logic [Width-1:0] cnt_next_o,
output logic err_o
);
prim_count #(
.Width(Width),
.ResetValue(ResetValue)
) u_counter (
.clk_i,
.rst_ni,
.clr_i,
.set_i,
.set_cnt_i,
.incr_en_i,
.decr_en_i,
.step_i,
.cnt_o,
.cnt_next_o,
.err_o
);
endmodule : prim_count_tb