В книге рассматриваются моделирование вычислительных систем на укрупненном функциональном уровне, синтез логических структур на основе формального описания с помощью операторов языка регистровых передач и автоматизации микропрограммирования. Значительное место уделено организации автоматизированных систем проектирования ЭВМ с архивным хранением и защитой наборов данных в ходе развития проекта.