Adding LSP and POLA/S to HDL workflow