Note: Xilinx employees should Sign In using their Xilinx ID and password.
Get easy access to all your design needs when you register on Xilinx.com:
Create Account
Xilinx is the world’s leading provider of All Programmable technologies and devices, beyond hardware to software, digital to analog, and single to multiple die in 3D ICs. Learn More
Virtex-7 FPGA VC709 Connectivity Kit
All the necessary hardware, software and IP to quickly power through the evaluation and development of connectivity systems.
Buy Now
You can now access our User Community Forums on most smart phones. Simply navigate to http://forums.xilinx.com on your mobile device today!
Jumpstart your design development with the Kintex-7 FPGA KC705 Evaluation Kit - all the basic components of hardware, design tools, IP, and pre-verified reference designs including a targeted design enabling high-performance serial connectivity and advanced memory interfacing.
Xilinx is the world’s leading provider of All Programmable technologies and devices, beyond hardware to software, digital to analog, and single to multiple die in 3D ICs.
Learn More
Are Application Notes on the formal verification flow available?
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