Finding False Paths in Sequential Circuits (Запись № 667246)
[ простой вид ]
| 000 -Маркер | |
|---|---|
| Поле контроля фиксированной длины | 02519nlm1a2200421 4500 |
| 005 - Идентификатор версии | |
| Поле контроля фиксированной длины | 20231030042104.0 |
| 035 ## - Другие системные номера | |
| Идентификатор записи | (RuTPU)RU\TPU\network\38451 |
| 100 ## - Данные общей обработки | |
| Данные общей обработки | 20220310a2018 k y0engy50 ba |
| 101 0# - Язык ресурса | |
| Язык текста, звукозаписи и т.д. | английский |
| -- | eng |
| 135 ## - Поле кодированных данных: электронные ресурсы | |
| Кодированные данные для электронного ресурса | drcn ---uucaa |
| 181 #0 - Поле кодированных данных: вид содержания | |
| Код вида содержания | i |
| 182 #0 - Поле кодированных данных: средство доступа | |
| Код средства доступа | electronic |
| 200 1# - Заглавие и сведения об ответственности | |
| Основное заглавие | Finding False Paths in Sequential Circuits |
| Первые сведения об ответственности | A. Yu. Matrosova, V. V. Andreeva, S. V. Chernyshov [et al.] |
| 203 ## - Вид содержания и средство доступа | |
| Вид содержания | |
| Средство доступа | |
| 300 ## - Общие примечания | |
| Текст примечания | Title screen |
| 320 ## - Примечания о наличии в ресурсе библиографии/указателя | |
| Текст примечания | [References: 7 tit.] |
| 330 ## - Резюме или реферат | |
| Текст примечания | 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. |
| 333 ## - Примечания об особенностях распространения и использования | |
| Текст примечания | |
| 461 ## - Уровень набора | |
| Заглавие | Russian Physics Journal |
| 463 ## - Уровень физической единицы | |
| Заглавие | Vol. 60, iss. 10 |
| Обозначение тома | [P. 1837-1844] |
| Дата публикации | 2018 |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | электронный ресурс |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | труды учёных ТПУ |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | sequential circuit |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | reduced ordered binary decision diagram (ROBDD) |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | false path |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | equivalent normal form |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | path delay fault |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Matrosova |
| Часть имени, кроме начального элемента ввода | A. Yu. |
| Расширение инициалов личного имени | Anzhela Yurjevn |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Andreeva |
| Часть имени, кроме начального элемента ввода | V. V. |
| Расширение инициалов личного имени | Valentina Valerjevna |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Chernyshov |
| Часть имени, кроме начального элемента ввода | S. V. |
| Расширение инициалов личного имени | Semen Vladimirovich |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Rozhkova |
| Часть имени, кроме начального элемента ввода | S. V. |
| Дополнения к именам, кроме дат | mathematician |
| -- | Professor of Tomsk Polytechnic University, Doctor of Physical and Mathematical Sciences |
| Даты | 1971- |
| Расширение инициалов личного имени | Svetlana Vladimirovna |
| -- | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\pers\34139 |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Kudin |
| Часть имени, кроме начального элемента ввода | D. V. |
| Расширение инициалов личного имени | Dmitry Valerjevich |
| 712 02 - Наименование организации – вторичная ответственность | |
| Начальный элемент ввода | Национальный исследовательский Томский политехнический университет |
| Структурное подразделение | Школа базовой инженерной подготовки |
| -- | Отделение математики и информатики |
| -- | 8031 |
| -- | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\col\23555 |
| 801 #2 - Источник записи | |
| Страна | RU |
| Организация | 63413507 |
| Дата составления | 20220310 |
| Правила каталогизации | RCR |
| 856 4# - Местонахождение электронных ресурсов и доступ к ним | |
| Универсальный идентификатор ресурса | https://doi.org/10.1007/s11182-018-1290-0 |
| 090 ## - System Control Numbers (Koha) | |
| Koha biblioitem number (autogenerated) | 667246 |
| 942 ## - Добавленные элементы ввода (Коха) | |
| Тип документа | Computer Files |
Нет доступных единиц.