怎样通过FFmpeg去实现画中画（画面分割）功能呢

现在有个项目，希望能帮忙做下选型和方案建议，具体要求如下：
1、需要对两路摄像头分别录像，一个1080P，一个640*512分辨率；
2、需要对两路图像实现叠加，一块输出到HDMI接口，现知道通过FFmpeg可以实现画中画，但具体不知能不能做；
3、上面的录像需要分别存储为独立文件，保存到SD卡。
请问如何做画中画（画面分割）功能？