ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS