Synchronization of SoC models using PTP for improved validation