Does veristad have kernel allocation？

[OTGZzz]

Can veristad manually allocate kernel processing when processing models? For example, when the running model is more complex, I can allocate multiple cores to process, while simple models can configure fewer cores to process.