Phase algebra for specifying clocks and modes in hierarchical designs

A computer program product for evaluating a circuit design, the computer program product comprising:

• a non-transitory computer readable storage medium having program instructions stored thereon, the program instructions comprising program instructions to cause one or more processors to,
• determine, by a checking unit operating with one or more processors, a first sequence of signal transition representations of a first signal of a first module of a register level circuit design, wherein
• a second module of the register level circuit design comprises the first module, wherein the first module and the second module are arranged in a hierarchical order,
• determine, by the checking unit operating with the one or more processors, a second sequence of signal transition representations of the first signal of the first module, wherein
• signal transition representations of a second signal are propagated from the second module to the first module using the first signal, and
• determine, by the checking unit operating with the one or more processors, whether a first mapping can be determined between the first sequence and the second sequence, wherein the second sequence is propagated through the first module.