Design Verification System for Large-Scale LSI Designs | IBM Journals & Magazine | IEEE Xplore