IEEE Transactions on computer-aided design of integrated circuits and systems.