Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины
Published in: | Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участием С. 46 |
---|---|
Main Author: | Голубева, Ольга Ивановна |
Format: | Book Chapter |
Language: | Russian |
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций
by: Голубева, Ольга Ивановна -
Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы
by: Голубева, Ольга Ивановна -
Интервальные расширения булевых функций и троичное моделирование последовательностных схем
by: Голубева, Ольга Ивановна -
Троичное моделирование синхронных последовательных схем
by: Голубева, Ольга Ивановна -
Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
by: Голубева, Ольга Ивановна