AGREEMENT AND PLAN OF MERGER by and among SYNOPSYS, INC. FERRITE ACQUISITION CORP. and INSILICON CORPORATION Dated as of July 23, 2002