Проектирование последовательностных автоматов Опции

[Arlleex]

Привет всем. До недавнего времени как-то не задумывался над некоторыми вопросами проектирования цифровых автоматов...
С комбинационными устройствами понятно - одной лишь таблицы истинности достаточно для составления по ней схемы на логических элементах. А как быть со сложными устройствами, включающими триггеры, счетчики, и т.д.? Ведь есть же математические модели подходов к проектированию таких автоматов или проектирование на основе временных диаграмм? Куда бы хорошо порыть на эту тему? Интересует сама идеология проектирования, как работают триггеры и вся требуха цифровой электроники я прекрасно представляю