IBM'S Engineering Design System Support for VLSI Design and Verification | IEEE Journals & Magazine | IEEE Xplore