IEEE 1588 clock distribution for FlexRIO devices in PXIe platforms | Publicación