equiv_status - print status of equivalent checking module

yosys> help equiv_status

equiv_status [options] [selection]

This command prints status information for all selected $equiv cells.

-assert

produce an error if any unproven $equiv cell is found