Mise à jour des outils d'extraction (QRC) et de vérification (PVS) adaptés au nouveau Kit GPDK45

.gitignore

+.cadence/
+*.log
+*.run
+*.state
+*.State
+*.save

inverseur/setup.csh

@@ -65,5 +65,7 @@ alias virtuoso "virtuoso -log virtuoso.log"
 source /CMC/scripts/cadence.mmsim15.10.518.csh
 
 # PVS
-setenv CMC_CDS_PVS_HOME /CMC/tools/cadence/PVS16.12.000_${CMC_CDS_ARCH}
-setenv PATH ${CMC_CDS_PVS_HOME}/bin:$PATH
+source ${CMC_HOME}/scripts/cadence.pvs16.15.000.csh
+
+# QUANTUS QRC
+source ${CMC_HOME}/scripts/cadence.ext19.10.000.csh