Search CORE

2 research outputs found

Finding false paths for sequential circuits using operations on ROBDDs

Author: Chernyshov Semen V.
Matrosova Anjela Yu.
Ostanin Sergey A.
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date: 01/01/2018
Field of study

Performance of VLSI is, first of all, its high operatio

Tomsk State University Repository

Finding false paths for sequential circuits using operations on ROBDDs

Author: Chernyshov Semen V.
Matrosova Anjela Yu.
Ostanin Sergey A.
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date: 03/03/2020
Field of study

Performance of VLSI is, first of all, its high operatio

National Open Repository Aggregator (NORA)

core

core