MAGMA DESIGN AUTOMATION, INC. REGISTRATION RIGHTS AGREEMENT