ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEM. (New York : ACM,Inc..)