set_app_var simplified_verification_mode . . . what does this attribute do?

Adam.Yakuvitz said:

Hello,
We've been re-adjusting our set_app_var attributes. Does anybody know what the simplified_verification_mode variable do? We saw a logic bug when this was turned on, so want to know exactly what this does.

-- Adam

Click to expand...

matter said:

Doing a simple man on the variable gives a detailed explanation for this variable does. I am not sure why you want to post this in the forum.

> man simplified_verification_mode
DESCRIPTION
Setting this variable to true adjusts optimization inside the tool to
prioritize formal verification compatibility over QoR. This enables
single-pass verification for formal verification to pass with as little
effort as possible. .....

There are ~4-5 paragraphs after this. Please do an man in your tool and read it.

Click to expand...