Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 124-131

Subject Terms: троирование, последовательностные схемы, константные неисправности, аппроксимирующие схемы

File Description: application/pdf

Access URL: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001000582

Detection and masking of trojan circuits in sequential logic

Authors: Matrosova, Anjela Yu., Ostanin, Sergey A., Butorina, Nataly Borisovna, Pahomova, Elena Grigorievna, Shulga, Sergey Anatolievich, Mitrofanov, Evgenii V.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2018. № 42. С. 89-99

Subject Terms: последовательностные схемы, вредоносные подсхемы, рабочая область функционирования, ROBDD-графы

File Description: application/pdf

Access URL: http://journals.tsu.ru/uploads/import/1680/files/42_089.pdf
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000623064

A Fault-tolerant Sequential Circuit Design for Stuck-at Faults and Path Delay Faults

Authors: Matrosova, Anjela Yu., Kirienko, Irina E., Nikolaeva, Ekaterina A., Ostanin, Sergey A.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 41. С. 61-68

Subject Terms: самопроверяемые схемы, последовательностные схемы, нерегулярные ошибки, константные неисправности, неисправности задержек путей, отказоустойчивые схемы

File Description: application/pdf

Access URL: http://journals.tsu.ru/uploads/import/1637/files/41_061.pdf
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000624110

Реконструкция линейных скремблеров на основе автоматных моделей ; Реконструкція лінійних скремблерів на основі автоматних моделей ; Reconstruction of linear scramblers based on automaton models

Authors: В.П. Семеренко, V.P. Semerenko

Source: Системи обробки інформації. — 2016. — № 4(141). 72-76 ; Системы обработки информации. — 2016. — № 4(141). 72-76 ; Information Processing Systems. — 2016. — № 4(141). 72-76 ; 1681-7710

Subject Terms: Інформаційні технології в технічних системах, УДК 004.4:681.3, скремблеры, криптография, поточное шифрование, линейные последовательностные схемы, время, обратный автомат, скремблери, криптографія, потокове шифрування, лінійні послідовнісні схеми, час, обернений автомат, scrambler, cryptography, stream encryption, linear finite-state machine, time, reversible automaton

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/16559/soi_2016_4_15.pdf; http://www.hups.mil.gov.ua/periodic-app/article/16559

Availability: http://www.hups.mil.gov.ua/periodic-app/article/16559

Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций

Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140

Subject Terms: последовательностные схемы, синхронные схемы, троичное моделирование, ROBDD-графы

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497

Интервальные расширения булевых функций и троичное моделирование последовательностных схем

Source: Таврический научный обозреватель. 2017. № 5. С. 208-220

Subject Terms: булевы функции, интервальные расширения, последовательностные схемы, функции переходов в состояния, синхронные схемы, троичное моделирование, ROBDD-графы, моделирование

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585495

Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы

Source: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135

Subject Terms: потоковые графы, последовательностные схемы, синхронные схемы, множества, троичное моделирование, последовательности, ROBDD-графы

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498

Обнаружение ложных путей в последовательностных схемах

Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178

Subject Terms: последовательностные схемы, ROBDD-графы, ложные пути, эквивалентная нормальная форма

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328

Параллельное декодирование укороченных циклических кодов

Authors: Семеренко, В. П.

Subject Terms: вкорочені циклічні коди, вкорочені коди Ріда-Соломона, лінійні послідовніснісхеми, граф, паралельна обробка, укороченные циклические коды, укороченные коды Рида-Соломона, линейные последовательностные схемы, параллельная обработка, shortened cyclic codes, and shortened Reed-Solomon codes, linear finite-state machines, graph, parallel processing

File Description: application/pdf

Relation: http://oeipt.vntu.edu.ua/index.php/oeipt/article/view/246; http://ir.lib.vntu.edu.ua/handle/123456789/3313; 519.725

Availability: http://ir.lib.vntu.edu.ua/handle/123456789/3313
http://oeipt.vntu.edu.ua/index.php/oeipt/article/view/246

НЕПРЕРЫВНЫЙ ПОДХОД К ПОСТРОЕНИЮ ТЕСТОВ РЕЗИСТИВНЫХ МОСТИКОВЫХ НЕИСПРАВНОСТЕЙ

Authors: Кащеев, Николай, Подъяблонский, Федор

Subject Terms: РЕЗИСТИВНАЯ МОДЕЛЬ, МОСТИКОВЫЕ НЕИСПРАВНОСТИ, ЦИФРОВЫЕ СХЕМЫ, ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ, АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/nepreryvnyy-podhod-k-postroeniyu-testov-rezistivnyh-mostikovyh-neispravnostey
http://cyberleninka.ru/article_covers/14912008.png

Высокопроизводительные алгоритмы для исправления независимых ошибок в циклических кодах

Authors: Семеренко, В. П.

Subject Terms: циклические коды, исправление ошибок, линейные последовательностные схемы, параллельная обработка

File Description: application/pdf

Relation: http://ir.lib.vntu.edu.ua/handle/123456789/9385; 519.725

Availability: http://ir.lib.vntu.edu.ua/handle/123456789/9385

Высокопроизводительные алгоритмы для исправления независимых ошибок в циклических кодах ; Високопродуктивні алгоритми для виправлення незалежних помилок в циклічних кодах ; High-performance algorithms for correction of independent errors in cyclic codes

Authors: В.П. Семеренко, V.P. Semerenko

Source: Системи обробки інформації. — 2010. — № 3(84). 80-86 ; Системы обработки информации. — 2010. — № 3(84). 80-86 ; Information Processing Systems. — 2010. — № 3(84). 80-86 ; 1681-7710

Subject Terms: Інформаційна та економічна безпека, УДК 519.725, циклические коды, исправление ошибок, линейные последовательностные схемы, граф, параллельная обработка, циклічні коди, виправлення помилок, лінійні послідовнісні схеми, паралельна обробка, cyclic codes, correction of errors, linear sequential charts, count, simultaneous processing

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/7435/soi_2010_3_26.pdf; http://www.hups.mil.gov.ua/periodic-app/article/7435

Availability: http://www.hups.mil.gov.ua/periodic-app/article/7435

Синтез легко тестируемых последовательностных схем

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2. С. 140-147

Subject Terms: монотонные ДНФ, последовательностные схемы, комбинационные составляющие последовательностных схем, ROBDD-графы, неисправности задержек путей

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457134

К верификации логических схем на основе временных автоматов

Contributors: Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 335-336

Subject Terms: последовательностные схемы, автоматы временные, пересечение временных автоматов

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000450311

Непрерывный подход к построению тестов резистивных мостиковых неисправностей

Source: Вестник Нижегородского университета им. Н.И. Лобачевского.

Subject Terms: РЕЗИСТИВНАЯ МОДЕЛЬ, МОСТИКОВЫЕ НЕИСПРАВНОСТИ, ЦИФРОВЫЕ СХЕМЫ, ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ, АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14912008.png
http://cyberleninka.ru/article/n/nepreryvnyy-podhod-k-postroeniyu-testov-rezistivnyh-mostikovyh-neispravnostey

Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами

Authors: Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна, Николаева, Екатерина Александровна

Source: Известия высших учебных заведений. Физика. 2018. Т. 61, № 5. С. 169-173

Subject Terms: последовательностные схемы, ROBDD- графы, робастно тестируемые неисправности задержек путей

File Description: application/pdf

Relation: koha:001148061; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001148061

Availability: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001148061

Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций ; Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions

Authors: Голубева, Ольга Ивановна

Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140

Subject Terms: троичное моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы

File Description: application/pdf

Relation: vtls:000585497; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497

Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы ; Three-value simulation of the sequential circuit and the construction on its basis of transition sequences

Authors: Голубева, Ольга Ивановна

Source: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135

Subject Terms: троичное моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы, последовательности, потоковые графы, множества

File Description: application/pdf

Relation: vtls:000585498; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498

Интервальные расширения булевых функций и троичное моделирование последовательностных схем ; Interval extensions of boolean functions and three-value simulation of sequential circuits

Authors: Голубева, Ольга Ивановна

Source: Таврический научный обозреватель. 2017. № 5. С. 208-220

Subject Terms: интервальные расширения, булевы функции, функции переходов в состояния, троичное моделирование, моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы

File Description: application/pdf

Relation: vtls:000585495; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585495

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585495

Обнаружение ложных путей в последовательностных схемах

Authors: Андреева, Валентина Валерьевна, Чернышов, Семен Владимирович, Рожкова, Светлана Владимировна, Кудин, Дмитрий Владимирович, Матросова, Анжела Юрьевна

Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178

Subject Terms: последовательностные схемы, ROBDD-графы, ложные пути, эквивалентная нормальная форма

File Description: application/pdf

Relation: vtls:000628328; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328