EDA Interfaces

2. Perform Formal Verification with Amplify Software



You can use the Synplicity Amplify software to perform physical synthesis on a Amplify-generated Verilog Quartus® Mapping File (.vqm), using back-annotation data generated by the Quartus® II software. The Amplify software uses the back-annotation data to further optimize the VQM File during resynthesis.

To perform physical synthesis using the Amplify and Quartus II software:

  1. If you have not already done so, perform 1. Set Up the Amplify Working Environment.

  2. Start the Amplify software.

  3. Open a project by clicking Open Project.

  4. Specify that the Amplify software should launch the Quartus II software after synthesis by choosing Quartus > Run Foreground Compile (Options menu).

    NOTE

    Choose Quartus > Run Foreground Compile (Options menu) to specify that the Quartus II software should run as a background process. Choose Quartus > Run Foreground Compile (Options menu) to specify that the Amplify software should launch the Quartus II software, but not start compilation, to allow you to make additional settings to the project.

  5. Synthesize the project by clicking Run. The Amplify software compiles the project and launches the Quartus II software. The Quartus II software will then compile the project and generate a <design name>.psd file, which contains the back-annotation data for the Amplify software, and place it in the \<project directory>\resynthesis/amplify/postlayout/ directory.

  6. The Amplify software will resynthesize the project using the back-annotation data generated by the Quartus II software.

  7. Compile the design in the Quartus II software.


Back to Top

- PLDWorld -

 

Created by chm2web html help conversion utility.