Normal view
MARC view
FSM-based sequential circuits optimization by changing initial state of specification (Record no. 891946)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 01976naa a2200325 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | koha000891946 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230320001513.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 220405s2021 xx fs 100 0 eng d |
| 024 7# - Прочие стандартные номера | |
| Стандартный номер | 10.1109/EWDTS52692.2021.9580991 |
| Источник номера | doi |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | koha000891946 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 245 10 - Заглавие | |
| Заглавие | FSM-based sequential circuits optimization by changing initial state of specification |
| Ответственность | M. L. Gromov, N. V. Shabaldina, A. Tvardovskii, S. A. Prokopenko |
| 336 ## - Тип содержимого | |
| Тип содержимого | Текст |
| 337 ## - Средство доступа | |
| Средство доступа | электронный |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 28 назв. |
| 520 3# - Аннотация | |
| Аннотация | Finite State Machines (FSMs) are widely used for analysis and synthesis of hardware designs. In particular FSM can be used to specify and optimize sequential circuits. The number of gates of a circuit influences different aspects of the circuit (operation speed, latency, energy consumption, size, etc.), therefore the circuit’s gates number minimization is an actual problem. In this paper we suggest an approach of sequential circuit optimization by selecting an initial state of a specification FSM which allows to get a circuit with a defined optimization requirement. We experimented in order to estimate the benefit of our optimization approach and the length of rebuild/modified test suites. |
| 653 ## - Ключевые слова | |
| Ключевые слова | конечные автоматы |
| 653 ## - Ключевые слова | |
| Ключевые слова | оптимизация |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в сборниках |
| 9 (RLIN) | 879352 |
| 700 1# - Другие авторы | |
| Другие авторы | Gromov, Maxim L. |
| 9 (RLIN) | 104029 |
| 700 1# - Другие авторы | |
| Другие авторы | Shabaldina, Natalia V. |
| 9 (RLIN) | 104028 |
| 700 1# - Другие авторы | |
| Другие авторы | Tvardovskii, Aleksandr |
| 9 (RLIN) | 103907 |
| 700 1# - Другие авторы | |
| Другие авторы | Prokopenko, Svetlana A. |
| 9 (RLIN) | 106025 |
| 773 0# - Источник информации | |
| Название источника | 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021 |
| Место и дата издания | [S. l.], 2021 |
| Прочая информация | P. 361-366 |
| ISBN | 9781665445030 |
| -- | 9781665445023 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 4# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000891946">http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000891946</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 891946 |
No items available.