Figure 13From: Clock refinement in imperative synchronous languages Pseudo code of function CompileDepth. Back to article page