Kicad-to-HAL: Charge Pump Driver

Just to see if all the conversion machinery hung together, I added the PWM component for the Mesa 5I25 card to the Kicad-to-HAL library:

The top symbol provides the reference stem for the per-group frequency controls and the second provides the stem for the per-PWM controls.

It requires conjuring one PWM in the FPGA:

The corresponding lines in the HAl file:

setp hm2_5i25.0.pwmgen.00.output-type 1		# parameter.116
setp hm2_5i25.0.pwmgen.00.value 0.5		# parameter.115
setp hm2_5i25.0.pwmgen.pwm_frequency 10000		# parameter.114

… snippage …

net Machine-Is-On <= halui.machine.is-on => and2.13.in1 hm2_5i25.0.pwmgen.00.enable

And then it just worked:

It’s not useful with the Sherline driver box, but I find it much easier to contemplate simple schematics than to puzzle out HAL code.