replace PartitionedSignal with SimdSignal
[soc.git] / src / soc / fu / trap / formal / .gitignore
2020-12-13 Cesar StraussIgnore formal verification output in the source directory