Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath)— 18 стр.
35.240.50 IT applications in industry. Including design automation / Применение информационных технологий в промышленности. Включая автоматизацию проектирования
25.040.01 Industrial automation systems in general / Промышленные автоматизированные системы в целом