Succesfull merge between CavaDRAM most updated version and CoqDRAM

framework/CavaDRAM/CavaCommonInstances.v

framework/CavaDRAM/CavaFIFOProperties.v

framework/CavaDRAM/CavaFIFOREF.v

framework/CavaDRAM/CavaReqQueue.v

framework/CavaDRAM/CavaReqQueueProperties.v

framework/CavaDRAM/CavaSMExtraction.v

framework/CavaDRAM/CavaSubtractor.v

framework/CavaDRAM/CavaSubtractorProperties.v

framework/CavaDRAM/CavaSystem.v

framework/CavaDRAM/CavaTDMREF.v

framework/CavaDRAM/CavaTDMREFProperties.v

framework/CavaDRAM/Lib/CavaCounter.v

framework/CavaDRAM/Lib/CavaFIFO.v

framework/CavaDRAM/Lib/CavaFIFOREFProperties.v

framework/CavaDRAM/Lib/CavaFIFOREFProperties2.v

framework/CavaDRAM/Lib/CavaSM.v

framework/CavaDRAM/Lib/CavaSMProperties2.v

framework/CavaDRAM/Lib/CavaSMbackup.v

framework/CavaDRAM/Lib/CavaTactics.v

framework/CavaDRAM/Memory.v