synthesis, timing problem