Abstract: This paper presents a formalized description of scheduling in the high-level synthesis. The scheduling is formalized as a integer programming problem. It thoroughly considers the timing and resource constraints of scheduling, multiple cycles operation and chained operation, pipeline and non-pipeline units and also considers the conditional branches operations. It provides a suitable mathematical model for solving the scheduling problem.