MAGMA DESIGN AUTOMATION