On using ABC for deriving distinguishing sequences for Verilog-descriptions (Запись № 651219)
[ простой вид ]
| 000 -Маркер | |
|---|---|
| Поле контроля фиксированной длины | 02408nlm0a2200349 4500 |
| 005 - Идентификатор версии | |
| Поле контроля фиксированной длины | 20231030041024.0 |
| 035 ## - Другие системные номера | |
| Идентификатор записи | (RuTPU)RU\TPU\network\16468 |
| 035 ## - Другие системные номера | |
| Идентификатор записи | RU\TPU\network\16458 |
| 100 ## - Данные общей обработки | |
| Данные общей обработки | 20161107d2015 k y0engy50 ba |
| 101 0# - Язык ресурса | |
| Язык текста, звукозаписи и т.д. | английский |
| 105 ## - Поле кодированных данных: текстовые ресурсы, монографические | |
| Кодированные данные о монографическом текстовом документе | y z 100zy |
| 135 ## - Поле кодированных данных: электронные ресурсы | |
| Кодированные данные для электронного ресурса | drcn ---uucaa |
| 181 #0 - Поле кодированных данных: вид содержания | |
| Код вида содержания | i |
| 182 #0 - Поле кодированных данных: средство доступа | |
| Код средства доступа | electronic |
| 200 1# - Заглавие и сведения об ответственности | |
| Основное заглавие | On using ABC for deriving distinguishing sequences for Verilog-descriptions |
| Первые сведения об ответственности | N. G. Kushik [et al.] |
| 203 ## - Вид содержания и средство доступа | |
| Вид содержания | |
| Средство доступа | |
| 300 ## - Общие примечания | |
| Текст примечания | Title screen |
| 330 ## - Резюме или реферат | |
| Текст примечания | In this paper, we discuss how a software ABC can be effectively used to derive distinguishing sequences for Verilog-descriptions. A set of these sequences can serve as a test suite for a digital device that is designed based on the corresponding Verilog-description using the FPGA technology. The paper contains a methodology for such test derivation technique, as well as technical details about the use of the tool and necessary commands. ABC can be easily downloaded from its official web site, and an interested reader can always repeat these experiments or apply this technology for more serious industrial need. |
| 333 ## - Примечания об особенностях распространения и использования | |
| Текст примечания | |
| 463 ## - Уровень физической единицы | |
| Заглавие | East-West Design and Test Symposium (EWDTS), 2015 IEEE |
| Сведения, относящиеся к заглавию | proceedings, Batumi, Georgia, September 26 – 29, 2015 |
| Обозначение тома | [4 р.] |
| Дата публикации | 2016 |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | электронный ресурс |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | труды учёных ТПУ |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Kushik |
| Часть имени, кроме начального элемента ввода | N. G. |
| Расширение инициалов личного имени | Nataljya Gennadjevna |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Evtushenko |
| Часть имени, кроме начального элемента ввода | N. V. |
| Расширение инициалов личного имени | Nina Vladimirovna |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Torgaev |
| Часть имени, кроме начального элемента ввода | S. N. |
| Дополнения к именам, кроме дат | specialist in the field of electronics |
| -- | associate Professor of Tomsk Polytechnic University, candidate of physico-mathematical Sciences |
| Даты | 1984- |
| Расширение инициалов личного имени | Stanislav Nikolaevich |
| -- | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\pers\31663 |
| 701 #1 - Имя лица – альтернативная ответственность | |
| Начальный элемент ввода | Shatilov |
| Часть имени, кроме начального элемента ввода | N. P. |
| Расширение инициалов личного имени | Nikita Petrovich |
| 712 02 - Наименование организации – вторичная ответственность | |
| Начальный элемент ввода | Национальный исследовательский Томский политехнический университет (ТПУ) |
| Структурное подразделение | Институт неразрушающего контроля (ИНК) |
| -- | Кафедра промышленной и медицинской электроники (ПМЭ) |
| -- | 64 |
| -- | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\col\18719 |
| 801 #2 - Источник записи | |
| Страна | RU |
| Организация | 63413507 |
| Дата составления | 20161114 |
| Правила каталогизации | RCR |
| 856 4# - Местонахождение электронных ресурсов и доступ к ним | |
| Универсальный идентификатор ресурса | http://dx.doi.org/10.1109/EWDTS.2015.7493150 |
| 090 ## - System Control Numbers (Koha) | |
| Koha biblioitem number (autogenerated) | 651219 |
| 942 ## - Добавленные элементы ввода (Коха) | |
| Тип документа | Computer Files |
Нет доступных единиц.