verification, assertions, coverage-driven verification. Базовые знания CMake/Python/TCL для автоматизации. Английский – чтение...