There are unconditionally stable architectures, e.g. Mash,
where high order structures are implemented basing on first-second orders SDM. Then you can take most suitable structure from a huge number of described in literature, and
of course, you can to do behavioral simulations with MathLab for own structure. In Cadence environment it is possible to use Verilog-A to write a behavioral model. Behavioral model can be written even in standard Verilog for DC signal.
Added after 11 minutes:
Analog simulation is also possible for not complex structures. But it is better to simplify overall schematic, replacing of a real schematic of OAs, comparators, logic components by it's simplified models, e.g. as shown in figure
Added after 2 minutes:
https://obrazki.elektroda.pl/87_1242205769.jpg