Prover eCheck - Are Application Notes on the formal verification flow available?

AR#	20685	Search For Another Answer
Topic	SW-3rd Party Synth Tool
Last Updated	10/06/2008
Status	Active

Description

Keywords: app note, 4.1i, 5.1i, 6.2i, 6.1i, 6.3i

Are Application Notes on the formal verification flow available?

Solution

When using Formal Verification, the supported flow is listed in this Application Note released with the software. The path is:
<echeck_install_dir>/doc/appnote_Synplify_Pro.pdf