Моделювання та верифікація сучасних проектних рішень вимагає використання складних та продуктивних програмних та апаратних рішень, які дозволяють виконувати перевірку коректності функціонування електронного компоненту з великою кількістю внутрішніх станів та на великій довжині модельного часу. При цьому необхідно вирішити цілу низку задач, пов'язаних з побудовою ефективної системи верифікації. Підвищення рівню зручності, швидкості проектування та верифікації можливе за умови використання додаткового етапу статичного аналізу вхідних кодів. ПАРСЕР, ЛЕКСЕР, ЛЕКСЕМА, ТОКЕН, СТАТИЧНИЙ АНАЛІЗ ТЕКСТУ Modeling and verification of modern design solutions require the use of sophisticated and efficient software and hardware solutions that allow you to check the correctness of the operation of electronic components with many internal states and at great length model time. It is necessary to solve a number of problems associated with the construction of an effective system verification. Increased level of usability, speed, design and verification is possible when using additional static analysis phase of input source. PARSERS, LEXERS, LEXEMS, TOKENS, STATIC TEXT ANALYSIS
