Im new on using the cadence tool COnformal Ultra LVR. It says that "Conformal LVR enables formal verification of the final SPICE netlist against the golden RTL or final gate-level netlist to ensure that the design taped out is functionally equivalent with golden RTL and the final gate-level netlist."
My question is that what is the structure of the final SPICE netlist stated above? What is the difference between full chip netlist of an FPGA? Difference between full chip netlist of ASIC?
An FPGA netlist isn't a SPICE netlist, Xilinx/Altera/etc already designed the chip at the gate level. The contents of a Xilinx netlist are LUTs, FF, PLL, MMCM, DSP blocks, block memory, I/O, etc. macros either in EDIF, Verilog, or VHDL. There are no ASIC like gates or transistors as the primitives in an FPGA design are much more granular.