Guard unsynthesizable $isunknown
with ifndef SYNTHESIS#239
Merged
niwis merged 1 commit intopulp-platform:masterfrom michael-platzer:michael-platzer/fix/unsynthesizable-isunknownOct 7, 2024
+4-1
$isunknown
with ifndef SYNTHESIS#239