AGREEMENT AND PLAN OF MERGER BY AND AMONG SYNOPSYS, INC., VORTEX ACQUISITION CORP. AND VIRAGE LOGIC CORPORATION June 9, 2010