Comb asserts should pass if expression unknown - Githubissues

xlsynth / bedrock-rtl

High quality and composable base RTL libraries in SystemVerilog

Apache License 2.0

11 stars 2 forks source link

Comb asserts should pass if expression unknown #161

Closed mgottscho closed 1 week ago