Telecharger Cours

Type-based Clock Calculi

The definition of clock domains directly implies that when data changes in the source domain of a CDC, the destination register can capture it ...



Download