IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (informationswissenschaftl. Veröffentlichungen)