equiv_add - add a $equiv cell

yosys> help equiv_add

equiv_add [-try] gold_sig gate_sig

This command adds an $equiv cell for the specified signals.

equiv_add [-try] -cell gold_cell gate_cell

This command adds $equiv cells for the ports of the specified cells.