Synchronizer registers must have their ASYNC_REG property set to TRUE to preserve the cells through any logic optimization
during synthesis and implementation, and to optimize their placement for the best mean
time between failure (MTBF) statistics.