![](/statics/img/blank.png)
Automated Reasoning for Bluespec Designs
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 2 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Automated Reasoning for Bluespec Designs
Эта страница содержит инструменты для применения автоматизированных рассуждений к конструкции оборудования Bluespec SystemVerilog (BSV). Мы предоставляем код для импорта конструкций BSV в теорему PVS и проверку модели SAL.