Основным алгоритмом моделирования цифровых схем, применяемых в цифровых симуляторах, является алгоритм событийного моделирования. Однако неявный выбор очередности срабатывания одновременно переключающихся сигналов может приводить к возникновению отличий в получаемых результатах моделирования. Предложен новый алгоритм событийного функционального моделирования цифровых интегральных схем, основанный на использовании модифицированного математического аппарата сетей Петри. Аппарат сетей Петри дает возможность имитировать параллельные конструкции с помощью последовательных инструкций. Поэтому нет необходимости разделять события с помощью дельта-задержки. Описанный подход позволяет устранить неоднозначность переключений сигналов, происходящих в один момент времени, за счет отказа от использования дельта-задержки. Представлены результаты работы алгоритма на примере моделирования на вентильном уровне ряда комбинационных и последовательностных схем. Полученные временные диаграммы, а также время моделирования показывают, что предложенный алгоритм не уступает существующим средствам моделирования в плане достоверности и быстродействия.
Литература
1. Gunes M., Thornton M.A., Kocan F., Szygenda S.A. A survey and comparison of digital logic simulators // 48th Midwest Symposium on Circuits and Systems. – 2005. – Vol. 1. – P. 744–749.
2. Суворова Е.А., Шейнин Ю.Е. Проектирование цифровых систем на VHDL. – СПб.: БХВ-Петербург, 2003. – 576 с.
3. Diaz M. Petri nets: fundamental models, verification and applications. – Wiley, 2009. – 656 p.
4. Yakovlev A., Gomes L., Lavagno L. Hardware design and petri nets. – Kluwer Academic Publishers, 2000. – 335 p.
5. Beerel P.A., Ozdag R.O., Ferretti M. A designer's guide to asynchronous VLSI. – Cam-bridge University Press, 2010. – 352 p.
6. Idzikowska E. Petri net models of VHDL control statements // The International Work-shop on Discrete-Event System Design, 2001.
7. Веселов А.А. Распределенная модель устройств цифровой и вычислительной техники на основе сетей Петри // Интернет-журнал «Науковедение». – 2015. – Т.7. – №3. URL: http://naukovedenie.ru/PDF/124TVN315.pdf (дата обращения: 7.04.2017)