virtuso analog
DESCRIPTION
VIrsuto analogTRANSCRIPT
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--------