Автоматизированные системы управления и приборы автоматики
Кубитные модели описания цифровых устройств
Тамер Бани Амер, Ivan Hahanov, Литвинова Евгения Ивановна, Емельянов Игорь Валерьевич
Abstract
Предлагается облачный сервис QuaSim для моделирования и верификации цифровых систем, основанный на транзакциях между адресуемыми компонентами памяти для реали- зации любой функциональности. Описывается новый подход к синтезу и анализу цифро- вых систем, использующий векторную форму (квант) задания комбинационных и последо- вательностных структур для их имплементации в элементы памяти, что существенно отли- чается от общепринятой теории проектирования дискретных устройств на основе таблиц истинности компонентов. Используются квантовые или кубитные структуры данных [1-5] для реализации вычислительных процессов в целях повышения быстродействия анализа цифровых систем и уменьшения объемов памяти на основе унарного кодирования состо- яний входных, внутренних и выходных переменных и имплементации кубитных векторов в элементы памяти FPGA, реализующих комбинационные и последовательностные прими- тивы.