PanLinx
русский
rus-000
модель одиночных константных неисправностей
English
eng-000
single-stuck fault model
PanLex