PanLinx
русский
rus-000
линеаризация на вентильном уровне
English
eng-000
gate-based linearization
PanLex