equiv_remove - remove $equiv cells¶
- yosys> help equiv_remove¶
equiv_remove [options] [selection]
This command removes the selected $equiv cells. If neither -gold nor -gate is used then only proven cells are removed.
-gold
keep gold circuit
-gate
keep gate circuit