hardware:electronic_circuit:dcdc_converter