1. Formal verification in SOC verification2. Formal tools3. how connectiveity checks done

-----PA:- PA format (UPF format)-

----

Virtuoso was used to convert analog schematic to verilog AMS model- integreated in to DV environemtn- ncsim is widely used for AMS- application: big data ports, where high BW is required- analog signals wreal- Phy is optical nature, both txer & rxer- turn key project

Spectre is for circuit simulationSpectre is for netlist simulationNCSIM is for RTL simualtion--------