Модель переключения для интегральных логических схем (1981) — классика Randal Bryant
A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]
Диссертация Рэндала Брайанта, защищённая в MIT в 1981 году, представляет новаторскую модель переключения для интегральных логических схем. Эта работа заложила основы для методов формальной верификации и моделирования цифровых схем, став важной вехой в развитии САПР. В тексте подробно описываются теоретические основы и практические применения модели, которая позволяет точно анализировать поведение сложных логических устройств.
Модель переключения обеспечивает точное и эффективное моделирование поведения интегральных логических схем, что делает её незаменимым инструментом для проектировщиков.