Proposed Acquisition of Nassda Corporation by Synopsys Inc.