Finding False Paths for Sequential Circuits Using Operations on ROBDDs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Anzhela Yu. Matrosova' in GoogleThis author has not been identified. Look up 'Sergei Ostanin' in GoogleThis author has not been identified. Look up 'Semen Chernyshov' in Google

runs on WebDSL