Использование статистических распределений в верификации цифровых блоков
Автор: Солдатенков Е.В.
Журнал: Форум молодых ученых @forum-nauka
Статья в выпуске: 10 (98), 2024 года.
Бесплатный доступ
В статье рассматриваются основные аспекты использования распределительных ограничений (distribution constraints) в языке описания аппаратуры SystemVerilog. Автор объясняет, как в рамках теста с помощью ограничений задавать вероятностное распределение значений, благодаря чему можно существенно повысить гибкость тестов и эффективность верификации. В статье подробно описаны синтаксис и семантика базовых распределительных ограничений, а также приведены примеры их применения в моделировании и тестировании. Вместе с тем исследованы результаты рандомизации при комбинировании различных типов ограничений, а также получена взаимосвязь ограничений и результирующей функции распределения вероятности. Статья будет полезна инженерам-верификаторам, стремящимся улучшить качество и скорость проведения верификации.
Распределение вероятностей, распределение гаусса, верификация
Короткий адрес: https://sciup.org/140307574
IDR: 140307574
Список литературы Использование статистических распределений в верификации цифровых блоков
- Stewart, William J. (2011). Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling.
- Интернет-ресурс по современным методологиям верификации и языкам описания аппаратуры. - https://vlsiverify.com/system-verilog.
- Hardware Design Verification: Simulation and Formal Method-Based Approaches, William K. Lam, Prentice Hall PTR, March 03, 2005.
- IEEE Std 1800-2017 "IEEE Standard for SystemVerilog-Unified Hardware Design, Specification, and Verification Language", 2017.
