Assertions in UVM

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