I. Blunno, J. Cortadella, A. Kondratyev, L. Lavagno, K. Lwin, C. Sotiriou
Десинхронизация появилась как новая парадигма для автоматизации разработки асинхронных схем из синхронных списков соединений. В этой статье исследуются различные протоколы десинхронизации и формально доказывается их корректность. Обеспечивается таксономия существующих протоколов для контроллеров с защелками. В частности, анализируются четырехфазные протоколы с квитированием, спроектированные для микроконвейеров. Для десинхронизации предлагается также новый контроллер с максимальным параллелизмом. Описывается и обсуждается применимость десинхронизации при реализации DLX-микропроцессора.