Finding False Paths in Sequential Circuits; Russian Physics Journal; Vol. 60, iss. 10

Finding False Paths in Sequential Circuits; Russian Physics Journal; Vol. 60, iss. 10

Bibliografiske detaljer
Parent link:	Russian Physics Journal Vol. 60, iss. 10.— 2018.— [P. 1837-1844]
Institution som forfatter:	Национальный исследовательский Томский политехнический университет Школа базовой инженерной подготовки Отделение математики и информатики
Andre forfattere:	Matrosova A. Yu. Anzhela Yurjevn, Andreeva V. V. Valentina Valerjevna, Chernyshov S. V. Semen Vladimirovich, Rozhkova S. V. Svetlana Vladimirovna, Kudin D. V. Dmitry Valerjevich
Summary:	Title screen 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. Режим доступа: по договору с организацией-держателем ресурса
Sprog:	engelsk
Udgivet:	2018
Fag:	электронный ресурс труды учёных ТПУ sequential circuit reduced ordered binary decision diagram (ROBDD) false path equivalent normal form path delay fault
Online adgang:	https://doi.org/10.1007/s11182-018-1290-0
Format:	Electronisk Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=667246

Lignende værker

Energy-Efficient Retrofit of Heat Exchange Networks for Oil Treatment and Stabilization Units at Oil Fields; Energies; Vol. 19, iss. 3
Udgivet: (2026)

Tourism as a «post-staples» diversification for Russian remote resource-dependent regions: a new path for Kuzbass; Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 330, № 10
Udgivet: (2019)

An Efficient Scheme for Path Planning in Internet of Drones; IEEE Global Communications Conference (GLOBECOM 20192019)
Udgivet: (2019)

Optimization of multi-educational learning paths; 11th International Forum on Strategic Technology (IFOST 2016); Pt. 2
af: Migunova L. G.
Udgivet: (2016)

Язык описания 3D-сцен OpenUSD
Udgivet: (Москва, ДМК Пресс, 2025)

Physical Principles of Creation of Ionization Channels in the Atmosphere Under cw and Pulsed Laser Irradiation; Russian Physics Journal; Vol. 61, iss. 5
Udgivet: (2018)

О влиянии термодиффузии на перераспределение примеси при остывании столба бинарной жидкости; Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 326, № 11
af: Глухов А. Ф. Александр Федорович
Udgivet: (2015)

Tutor-mediated Support in Blended Learnin; Procedia - Social and Behavioral Sciences; Vol. 166 : Proceedings of The International Conference on Research Paradigms Transformation in Social Sciences 2014 (RPTSS-2014), 16–18 October 2014, Tomsk, Russia
af: Krasnova T. I. Tatiana Ivanovna
Udgivet: (2015)

Destination development in Western Siberia: tourism governance and evolutionary economic geography; Tourism Geographies; Latest articles
Udgivet: (2018)

Теория малых возмущений и коррекция параметров орбит
af: Корянов В. В.
Udgivet: (Москва, МГТУ им. Н.Э. Баумана, 2015)

Comparative Assessment of the Reliability of Non-Recoverable Subsystems of Mining Electronic Equipment Using Various Computational Methods; Mathematics; Vol. 14, iss. 4
Udgivet: (2026)

Угольная промышленность и туризм: можно ли добиться устойчивого развития традиционной сырьевой территории?; Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 331, № 11
af: Кирьянова Л. Г. Лилия Геннадьевна
Udgivet: (2020)

Организация научно-исследовательской работы при преподавании физики на младших курсах; Инженерное образование; № 32
af: Казакова Е. Л. Елена Лионовна
Udgivet: (2022)

Regularising algorithm of parameter identification of electric charge equivalent circuit; P. II; Bulletin of the Tomsk Polytechnic University; Vol. 310, № 2
Udgivet: (2007)

Path dependence and regional disparities in single-industry towns in Russia: the evidence from micro data; International Journal of Economic Policy in Emerging Economies; Vol. 16, iss. 2, 3, 4
af: Antonova I. S. Irina Sergeevna
Udgivet: (2022)

Влияние туристско-рекреационной деятельности на показатели почвенно-экологического мониторинга прилежащей территории Телецкого озера (Горный Алтай); Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 336, № 1
af: Ельчининова О. А. Ольга Анатольевна
Udgivet: (2025)

Regularising algorithm of parameter identification of electric charge equivalent circuit; P. I; Bulletin of the Tomsk Polytechnic University; Vol. 310, № 1
Udgivet: (2007)

Determining the equivalent circuit parameters of transmission lines, reactors, power resistors and capacitor banks by the arrays of instantaneous currents and voltages; Bulletin of the Tomsk Polytechnic University; Vol. 311, № 4 : Power engineering
af: Dzhumik D. V.
Udgivet: (2007)

Evaluation of Code-Word Subsets to Ensure the Self-Testing Property of a Checker; East-West Design and Test Symposium (EWDTS), 2018 IEEE
af: Butorina N. B. Nataljya Borisovna
Udgivet: (2018)

Автоматизированный электропривод тракта шихтоподачи доменной печи; Научные проблемы транспорта Сибири и Дальнего Востока; № 2
af: Краснов И. Ю. Иван Юрьевич
Udgivet: (2012)

Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов; Известия Томского политехнического университета [Известия ТПУ]; Т. 315, № 5: Управление, вычислительная техника и информатика
af: Матросова А. Ю.
Udgivet: (2009)

Character of dust particle motion in direct-flow cyclone with intermediate dust extraction; Bulletin of the Tomsk Polytechnic University; Vol. 310, № 1
af: Aslamova V. S.
Udgivet: (2007)

Electron Correlations in Sequential Two-Photon Double Ionization of an Ar Atom; Atoms; Vol. 10, iss. 4
Udgivet: (2022)

Influence of Destabilizing Factors on Results of Thermoelectric Testing; Russian Journal of Nondestructive Testing; Vol. 58, iss. 7
Udgivet: (2022)

Computation of current pulsed sources with inductive energy storages; Bulletin of the Tomsk Polytechnic University; Vol. 311, № 4 : Power engineering
af: Nosov G. V.
Udgivet: (2007)

Локальный рынок труда в свете урбанизационных процессов; Векторы благополучия: экономика и социум; Т. 53, № 4
af: Чамдаловна А. Ч. Ай-кыс Чамдаловна
Udgivet: (2025)

Precise reducer of increased durability; Bulletin of the Tomsk Polytechnic University; Vol. 311, № 2
af: Yangulov V. S.
Udgivet: (2007)

Technique of setting up a pipeline valve electric actuators control system using the equivalent circuit parameters, estimated by falling current curve; Resource-Efficient Technologies; No 2
af: Bunkov D. S. Dmitry Sergeevich
Udgivet: (2021)

Расчет оптимальных параметров электромагнитного привода колебательного движения; Известия Томского политехнического университета [Известия ТПУ]; Т. 325, № 4 : Техника и технологии в энергетике
af: Татевосян А. А. Андрей Александрович
Udgivet: (2014)

The influence of humidity on the parameters of an electric signal under pulsed mechanical excitation of heterogeneous materials containing piezoelectric inclusions; Russian Journal of Nondestructive Testing; Vol. 47, iss. 6
Udgivet: (2011)

Mathematical Topics on Representations of Ordered Structures and Utility Theory Essays in Honor of Professor Ghanshyam B. Mehta /
Udgivet: (2020)

Программирование логических контроллеров учебник для вузов
af: Золкин А. Л.
Udgivet: (Санкт-Петербург, Лань, 2026)

On the possibility of formation of binary cosmic systems from the single cosmic objects; International Journal of Modern Physics E; Vol. 31, iss. 7
Udgivet: (2022)

A Developed Robust Model and Artificial Intelligence Techniques to Predict Drilling Fluid Density and Equivalent Circulation Density in Real Time; Sensors; Vol. 23, iss. 14
Udgivet: (2023)

Оценочные исследования тягового асинхронного электродвигателя с пониженным напряжением питания для рудничного электровоза; Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 328, № 11
Udgivet: (2017)

Lateral Power Transistors in Integrated Circuits
af: Erlbacher, Tobias
Udgivet: (2014)

Принцип работы вихревой теплогенераторной установки; Информационные технологии (IT) в контроле, управлении качеством и безопасности
af: Шарифов И. Д. Илхом Джумахонович
Udgivet: (2019)

Discrimination between in-zone and out-of-zone faults during power swing condition using synchrophasor data; International Journal of Electrical Power & Energy Systems; Vol. 146
Udgivet: (2023)

Организация огнеопасных работ при проведении мероприятий по ремонту и обслуживанию систем тепловодоснабжения; Прогрессивные технологии и экономика в машиностроении
af: Зиновьев В. С.
Udgivet: (2021)

Control Techniques for Power Converters with Integrated Circuit
af: Chen, Wen-Wei, et al.
Udgivet: (2018)