We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome,
Firefox,
Internet Explorer 11,
Safari. Thank you!

AR# 12803

6.1i PrimeTime - What types of users will be interested in the formal verification flow?

Description

Keywords: PrimeTime, users, customers, verification, flow, 4.1i, 5.1i

Urgency: Standard

General Description:What types of users will be interested in the formal verification flow?

Solution

1

As formal verification is a proven technology/flow in the ASIC design environment, and because increasing numbers of ASIC designers are targeting FPGAs, this solution should be of interest to ASIC designers who are targeting FPGAs.

2

For related PrimeTime information, please also see the following Answer Records: