Finding False Paths in Sequential Circuits

Y. Маtrosova, V. V. Аndreeva, S. V. Chernyshov, S. V. Rozhkova, D. V. Kudin

Результат исследований: Материалы для журналаСтатьярецензирование

2 Цитирования (Scopus)

Аннотация

Method of finding false paths in sequential circuits is developed. In contrast with heuristic approaches currently used abroad, the precise method based on applying operations on Reduced Ordered Binary Decision Diagrams (ROBDDs) extracted from the combinational part of a sequential controlling logic circuit is suggested. The method allows finding false paths when transfer sequence length is not more than the given value and obviates the necessity of investigation of combinational circuit equivalents of the given lengths. The possibilities of using of the developed method for more complicated circuits are discussed.

Язык оригиналаАнглийский
Страницы (с-по)1-8
Число страниц8
ЖурналRussian Physics Journal
DOI
СостояниеПринято/в печати - 8 фев 2018

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Fingerprint Подробные сведения о темах исследования «Finding False Paths in Sequential Circuits». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать