Finding False Paths for Sequential Circuits Using Operations on ROBDDs

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]

Abstract

Abstract is missing.