Examples for Isolation/retention checkers in UPF verification

SystemVerilog
,
1

Are there any examples available for Isolation/retention checkers in UPF verification