Finding False Paths in Sequential Circuits


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

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.

Авторлар туралы

А. Маtrosova

National Research Tomsk State university

Хат алмасуға жауапты Автор.
Email: mau11@Yandex.ru
Ресей, Tomsk

V. Аndreeva

National Research Tomsk State university

Email: mau11@Yandex.ru
Ресей, Tomsk

S. Chernyshov

National Research Tomsk State university

Email: mau11@Yandex.ru
Ресей, Tomsk

S. Rozhkova

National Research Tomsk Polytechnic University

Email: mau11@Yandex.ru
Ресей, Tomsk

D. Kudin

Geophysical Center of the Russian Academy of Sciences

Email: mau11@Yandex.ru
Ресей, Moscow

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Springer Science+Business Media, LLC, part of Springer Nature, 2018