| Subject | English | Russian |
| math. | logic of verification | логика верификации |
| IT | logic verification | логический контроль |
| microel. | logic verification | верификация проекта ИС на логическом уровне |
| progr. | verification of combinational logic | верификация комбинационных логических схем (ssn) |