"...А опция IPOut HD AVC может одновременно формировать потоки HD и SD ?..."
Да, может. Мало того, вы можете формировать несколько потоков в HD и SD разрешениях с различными параметрами кодирования.
Поддерживается аппаратное кодирование. Подробнее здесь.