| Аннотация | Современные микропроцессоры общего назначения, как и различные специализированные процессоры, состоят из большого числа компонентов. Интегрирование этих компонентов в одном кристалле приводит к созданию так называемых «сверхбольших интегральных схем». Структурная и функциональная сложность таких систем — миллионы логических вентилей, функции сотен и тысяч переменных, Что делает актуальной задачу верификации или подтверждение того, что описание проекта, по которому микросхема будет реализована «в кремнии», полностью соответствует спецификации проектируемой системы. |
|---|