xlsynth / bedrock-rtl

High quality and composable base RTL libraries in SystemVerilog
Apache License 2.0
11 stars 2 forks source link

Don't guard `BR_ASSERT_STATIC` with `BR_ASSERT_ON` #177

Closed mgottscho closed 1 week ago

mgottscho commented 1 week ago

Elab-time parameter checks should always be enabled. Doesn't make sense to turn them off. They're not SVA