equiv_miter - extract miter from equiv circuit

yosys> help equiv_miter

equiv_miter [options] miter_module [selection]

This creates a miter module for further analysis of the selected $equiv cells.

-trigger

Create a trigger output

-cmp

Create cmp_* outputs for individual unproven $equiv cells

-assert

Create a $assert cell for each unproven $equiv cell

-undef

Create compare logic that handles undefs correctly