TY  - ELEC
AU  - Matrosova, A. Yu.
AU  - Andreeva, V. V.
AU  - Chernyshov, S. V.
AU  - Rozhkova, S. V.
AU  - Kudin, D. V.
ED  - Национальный исследовательский Томский политехнический университет
TI  - Finding False Paths in Sequential Circuits
KW  - электронный ресурс
KW  - труды учёных ТПУ
KW  - sequential circuit
KW  - reduced ordered binary decision diagram (ROBDD)
KW  - false path
KW  - equivalent normal form
KW  - path delay fault
N2  - [References: 7 tit.]
UR  - https://doi.org/10.1007/s11182-018-1290-0
ER  -