EXHIBIT 4.2 VLSI LIBRARIES INCORPORATED AMENDED AND RESTATED REGISTRATION RIGHTS AGREEMENT December 17, 1996 TABLE OF CONTENTS