equiv_purge - purge equivalence checking module

yosys> help equiv_purge

equiv_purge [options] [selection]

This command removes the proven part of an equivalence checking module, leaving
only the unproven segments in the design. This will also remove and add module
ports as needed.