Формализация синтеза самосинхронных счетчиков

Самосинхронные (СС) схемы обладают высокой надежностью. Они гарантируют обнаружение и локализацию любых константных неисправностей и демонстрируют высокий уровень сбоеустойчивости. Однако проектирование СС-схем более трудоемко в сравнении с синхронными аналогами из-за необходимости построения дополнительной индикаторной подсхемы и соблюдения принципов функционирования схем, относящихся к классу СС-схем. Автоматическое преобразование исходной схемы, описанной аппаратно как синхронная схема, в СС-реализацию обеспечивается с помощью процедуры формализованной десинхронизации. Но при синтезе последовательностных СС-устройств, в том числе СС-счетчиков, формальная десинхронизация приводит к чрезмерной аппаратной избыточности и, как следствие, к их низкому быстродействию. Статья обосновывает подход к синтезу СС-счетчиков, базирующийся на формализации эвристических методов их построения и обеспечивающий гарантированное получение действительно СС-реализации, функционирующей в полном соответствии с исходным описанием и обладающей близкими к оптимальным потребительскими характеристиками.