Fred,
Here are two sync boost converter reference designs close to your specs: PMP20093 and PMP10710 . Both of these designs are using LM5122. A Non-synchronous boost can easily be designed from UCC38C4x directly driving a low-side MOSFET, otherwise you…