EP3857331B1 - Coherent Observability and Controllability of Overlaid Clock and Data Propagation in Emulation and Prototyping