concurrent good simulation

совместное моделирование входных последовательностей (быстродействующий метод одновременного моделирования исправной схемы на множестве входных последовательностей ssn)