Timing Constraints -- Verification of the Generic Architecture of a Memory Circuit Using