Թվային սխեմաների մոդելավորումը Alex լեզվի օգտագործմամբ և դրա կիրառությունը նախագծման ավտոմատացման մեջ