IEEE transactions on computer-aided design of integrated circuits and systems (Institute of Electrical and Electronics Engineers, 1982)