path: root/testsuite/synth/issue2025/wb_standard_axi4_lite_bridge.psl

VUNIT wb_standard_axi4_lite_bridge_formal (wb_standard_axi4_lite_bridge) {
    u_wb3_classic_formal: ENTITY work.wb_standard_formal(psl);
}