IEEE Transactions on CAD