Anglais ⇄ Russe +

sequential logic modelling contraintes
progr.	моделирование последовательностных логических схем (напр., в Verilog ssn); моделирование последовательностной логики (ssn)