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

Для исследования риска в асинхронных последовательностных схемах предложено использовать полную вариацию, которая зависит от схемной реализации временных булевых функций и не вызывает необходимости разрыва сходящихся разветвлений.