Using FormalPro for Xilinx Verification in a Synplify-Pro Flow
|
Contributor: Troy Garrett, Mentor Graphics Format: PDF Document This document describes how to verify Xilinx FPGA designs using FormalPro. Specifically, the flow available in FormalPro is for Xilinx Virtex II designs implemented with Synplify-Pro and Xilinx ISE. You can use FormalPro to verify other families of Xilinx devices; however, this verification flow has been used primarily for designs targeted to Xilinx Virtex II. |