E C E 556 - DESIGN AUTOMATION OF DIGITAL SYSTEMS