Плеханов Л.П. Полнота анализа электронных схем на самосинхронность // «Системы и средства информатики» – М.: ТОРУС ПРЕСС, Т. 20, № 1, 2010 – С. 48-58
Аннотация: В статье обсуждаются вопросы полноты анализа самосинхронности схем, связанные с начальными состояниями и изменениями информационных входов. Показано, что неполный учет этих изменений приводит к ошибочным выводам. Получены достаточные для полноты условия изменения информационных входов. Предложены некоторые способы организации полного анализа для событийных методов и функционального метода.