I have read related papers on TVM, and have repeatedly mentioned Halide’s idea of separation of scheduling and calculation. May I ask which layer or stage of the TVM compilation process occurs in TVM for the separation of scheduling and calculation? Is there any specific document explaining how TVM uses this idea? Hope to answer, thank you.