AGREEMENT AND PLAN OF MERGER AND REORGANIZATION BY AND AMONG SYNOPSYS, INC. OAK MERGER CORPORATION AND IKOS SYSTEMS, INC. dated as of July 2, 2001