Anzhela Yu. Matrosova, Sergei Ostanin, Semen Chernyshov. Finding False Paths for Sequential Circuits Using Operations on ROBDDs. In Dimitris Gizopoulos, Dan Alexandrescu, Mihalis Maniatakos, Panagiota Papavramidou, editors, 24th IEEE International Symposium on On-Line Testing And Robust System Design, IOLTS 2018, Platja D'Aro, Spain, July 2-4, 2018. pages 240-242, IEEE, 2018. [doi]
@inproceedings{MatrosovaOC18,
title = {Finding False Paths for Sequential Circuits Using Operations on ROBDDs},
author = {Anzhela Yu. Matrosova and Sergei Ostanin and Semen Chernyshov},
year = {2018},
doi = {10.1109/IOLTS.2018.8474213},
url = {https://doi.org/10.1109/IOLTS.2018.8474213},
researchr = {https://researchr.org/publication/MatrosovaOC18},
cites = {0},
citedby = {0},
pages = {240-242},
booktitle = {24th IEEE International Symposium on On-Line Testing And Robust System Design, IOLTS 2018, Platja D'Aro, Spain, July 2-4, 2018},
editor = {Dimitris Gizopoulos and Dan Alexandrescu and Mihalis Maniatakos and Panagiota Papavramidou},
publisher = {IEEE},
isbn = {978-1-5386-5992-2},
}