Where to write assertions in a UVM testbench?
Assertions is usually written in a separate file and later is connected in the top using .bind.
Regards,
Abhinandan
1 Like
Thanks
1 Like
protocol assertions are often written in the SV interface for the corresponding protocol.
2 Likes
Thanks