Text this: Логико-электрическое моделирование больших схем