IEEE Transactions on Computer-Aided Design