PanLinx
русский
rus-000
средства логического синтеза
English
eng-000
logic-synthesis tools
PanLex