Gate Driver for MOSFET

Hello everyone,

I want to design gate driver circuit using totem pole arrangement of transistors for driving mosfets.
I have attached a figure wherein i have shown a buck converter circuit whose mosfet is being driven by a gate driver circuit. The pwm input to the gate driver circuit comes from stm32f microcontroller(3.3V). The input to the buck-converter circuit comes from a 12V solar panel.
My question is how do I find the values of the resistors and the transistors used in the gate driver circuit?(formulas if any)

There are a number of problems with the circuit you are proposing. In its present state it won't work.
I suggest you look at this paper,
https://engineering.purdue.edu/Courses/ECE433/exp5_5th~6thweek_.pdf
which examines the problem of driving an N channel fet in the buck configuration,
cheers,
Richard