New version of TDM fully functional

framework/DRAM/Core/Arbiter.v

framework/DRAM/Core/BankMachine.v

framework/DRAM/Core/ImplementationInterface.v

framework/DRAM/Core/InterfaceSubLayer.v

framework/DRAM/Implementations/BM/FIFOimpSL/FIFOimpSL.v

framework/DRAM/Implementations/BM/RRimpSL/RRimpSL.v

framework/DRAM/Implementations/BM/TDMimpSL/TDMimpSL.v

framework/DRAM/Implementations/BM/TDMimpSL/TDMimpSL_proofs.v

framework/DRAM/Implementations/BM/TDMimpSL/TDMimpSL_sim.v

framework/DRAM/Implementations/TS/FIFO/FIFO_proofs.v

framework/DRAM/Implementations/TS/TDM/TDM_proofs.v

framework/DRAM/Implementations/old_imps/DynTDM/TDMds.v

framework/DRAM/Implementations/old_imps/DynTDM/TDMes.v

framework/DRAM/Implementations/old_imps/DynTDM/TDMesREF.v

framework/DRAM/Implementations/old_imps/DynTDM/TDMesREFpg.v

framework/DRAM/Implementations/old_imps/FIFOImp2/FIFOImp2.v

...AM/Implementations/old_imps/FIFOImp2/FIFOImp2Properties.v

...ork/DRAM/Implementations/old_imps/FIFOImp2/FIFOImp2Test.v

framework/DRAM/Implementations/old_imps/TDMREF/TDMREF.v

framework/DRAM/Implementations/old_imps/TDMREF/TDMesREF.v