PanLinx
English
eng-000
gate-level verification
русский
rus-000
верификация на уровне вентилей
PanLex
