Synopsys said to begin sale of software integrity business, could be valued at $3B plus