Logic minimization and testability of 2-SPP networks