replace PartitionedSignal with SimdSignal
[soc.git] / src / soc / fu / trap / formal / __init__.py
1