Skip to content

Commit

Permalink
[prim,fpv] Fix binding in prim_esc_rxtx_fpv
Browse files Browse the repository at this point in the history
This bind statement had a typo which meant that it didn't actually
bind in any assertions. Found by analysing formal coverage.

Signed-off-by: Rupert Swarbrick <[email protected]>
  • Loading branch information
rswarbrick committed Aug 30, 2024
1 parent 0ff694a commit 38da0ca
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions hw/ip/prim/fpv/tb/prim_esc_rxtx_bind_fpv.sv
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

module prim_esc_rxtx_bind_fpv;

bind prim_esc_rxtx_fpv
prim_esc_rxtx_assert_fpv #(TimeoutCntDw(TimeoutCntDw))
bind prim_esc_rxtx_tb
prim_esc_rxtx_assert_fpv #(.TimeoutCntDw(6))
prim_esc_rxtx_assert_fpv (
.clk_i ,
.rst_ni ,
Expand Down

0 comments on commit 38da0ca

Please sign in to comment.