Remove expensive FPV-only assertion from br_flow_reg_fwd/rev - Githubissues

xlsynth / bedrock-rtl

High quality and composable base RTL libraries in SystemVerilog

Apache License 2.0

11 stars 2 forks source link

Remove expensive FPV-only assertion from br_flow_reg_fwd/rev #214

Closed zhemao-openai closed 4 days ago