发送短信: Высокоуровневые языки проектирования и верификации интегральных микросхем: язык Python