IEEE transactions on computer-aided design of integrated circuits and systems a publication of the IEEE Circuits and Systems Society. (Institute of Electrical and Electronics Engineers,, 1982)