Design Verification System for Large-Scale LSI Designs | IEEE Conference Publication | IEEE Xplore