SSTA analysis using Cadence SoC Encounter
You will most likely not be able to access the latest spice netlist of any of the vendors unless you sign an NDA and/or pursue research in this area. You can create your own spice netlists for simple analysis.