Anglais ⇄ Russe +

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