Logic Verification System for Very Large Computers Using LSI's | IEEE Conference Publication | IEEE Xplore