If you are looking for a general tool or guide to switch mode power supply design, there are several on the net, as well as free online design tools on the web sites of manufacturers such as:
These tools require information about input supply (AC or DC, voltage range) and output requirements (Voltage, acceptable ripple, current rating), and provide suitable part numbers and computations - evidently favoring the respective manufacturer's products, of course.
Many of these tools go as far as providing a schematic, a bill of materials, performance parametrics and even design simulation, all for free.
A boost regulator design does not need the load resistance to be known in advance: There would be a minimum load current specified for stability in many designs, and of course a maximum current rating depending on the switching devices used (internal MOSFETs in the boost controller, external power MOSFETs etc). As long as the load is within those two limits, the boost regulator would supply the desired voltage to the load.
Note: I've already checked with TI WeBench Power Designer but it cannot find a suitable solution to your requirements, so perhaps you can skip that one and try the others.
Apart from noticing that maybe the integral in the average inductor current at the end of the second time period should (maybe?) run from D1 to D2 rather than 0 to D2 (but I might be wrong), I have an observation ...
... this sort of algebra-heavy approach may be correct, but I don't think it's useful.
My approach, which may be too approximate for some people, is biassed more towards understanding what happens, rather than any numerical or analytic precision.
Unless the boost converter is to be used open loop with fixed on and off times (rarely the case, and then only for relatively poorly regulated applications), the on and off times will be controlled by feedback from the output, to give you the correct voltage. So it doesn't matter exactly what the output voltage is for any specific D1 and D2, only that the converter stay within the correct range for operating.
First approximation, lose RL. It's only a loss term. If it becomes significant, you have a very lossy converter and should use a better inductor.
First vital restriction which doesn't appear in your analysis. The inductor will have a maximum current before it saturates. To keep the current below max, assuming DCM where the current starts from zero, always keep the ON time, subinterval 1, less than \$t_{max} = \dfrac{I_{max}L}{Vin}\$ . This will avoid the current growing beyond the maximum. It's a bit of an over-estimate, as it neglects RL, but that's on the conservative side, so it's good.
Change in capacitor voltage. That's easiest to do by equating energy. If we are doing DCM, then the current will drop to zero, and all the inductor energy will be transferred to the capacitor, along with the energy delivered by the supply during that time. Approximation - neglect the change in capacitor voltage to find that time, assume the current changes linearly (still neglecting RL), so \$t_{rundown}=\dfrac{I_L L}{VC-V_{in}}\$ It may well be worth including the voltage drop across D1 here, which I notice you've ignored at this point, but if the output voltage is high, then ignoring it is good.
And so it goes on, making judicious approximations, and having simple forumlae.
Right at the end, I might compute power lost in RL at the currents I've predicted, and see whether that's reasonable within my loss budget, or whether it needs a better inductor.
That's how I'd do it. Less exact than wall to wall equations, but at least I'm can see what I'm doing. It will allow me to see whether my L has adequate Imax, the clock rate is right for the ripple and output cap value etc.
Best Answer
It isn't available.
The target part on that board has the capability to act as a boost converter, but is not connected as one -- the IND pin is not connected, and the VBAT and VBOOST pins are wired to VSS. This disables the boost converter, making it unusable on this board.
The intended implementation for the boost converter is shown on page 12 of the PSoC BoostConv reference.