Виктор Варшавский «Concurrent Hardware. The Theory and Practice of Self-timed Design»

В книге рассматривается теория и проектирование самосинхронных систем. Логическое проектирование самосинхронных схем (STC) находится в центре внимания, с одной стороны, тех, кто интересуется формальными моделями параллельных вычислений, и, с другой стороны, разработчиков аппаратного обеспечения. Подход авторов заключается в рассмотрении общих вопросов, касающихся самой природы параллелизма, а также в демонстрации особенностей асинхронного проектирования. В книге представлены формальные модели спецификации и проверки параллельных процессов, а также описаны методы синтеза и анализа самосинхронных схем. Она дополнена демонстрационной версией CAD-системы под названием FORCAGE, которая состоит из подсистем проверки поведения, самосинхронного анализа цепей и синтеза. Систему можно запустить на ПК.