Text this: Определение эффективности и достоверности аппаратурного контроля при моделировании цифровых устройств на ЭЦВМ