ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEM