Jump to content
    

Search the Community

Showing results for tags 'verification'.

  • Search By Tags

    Type tags separated by commas.
  • Search By Author

Content Type


Forums

  • Сайт и форум
    • Новости и обсуждения сайта и форума
    • Другие известные форумы и сайты по электронике
    • В помощь начинающему
    • International Forum
    • Образование в области электроники
    • Обучающие видео-материалы и обмен опытом
  • Cистемный уровень проектирования
    • Вопросы системного уровня проектирования
    • Математика и Физика
    • Операционные системы
    • Документация
    • Системы CAD/CAM/CAE/PLM
    • Разработка цифровых, аналоговых, аналого-цифровых ИС
    • Электробезопасность и ЭМС
    • Управление проектами
    • Neural networks and machine learning (NN/ML)
  • Программируемая логика ПЛИС (FPGA,CPLD, PLD)
    • Среды разработки - обсуждаем САПРы
    • Работаем с ПЛИС, области применения, выбор
    • Языки проектирования на ПЛИС (FPGA)
    • Системы на ПЛИС - System on a Programmable Chip (SoPC)
    • Methods and tools for FPGA/ASIC verification
  • Цифровая обработка сигналов - ЦОС (DSP)
    • Сигнальные процессоры и их программирование - DSP
    • Алгоритмы ЦОС (DSP)
  • Микроконтроллеры (MCU)
    • Cредства разработки для МК
    • ARM
    • RISC-V
    • AVR
    • MSP430
    • Все остальные микроконтроллеры
    • Отладочные платы
  • Печатные платы (PCB)
    • Разрабатываем ПП в САПР - PCB development
    • Работаем с трассировкой
    • Изготовление ПП - PCB manufacturing
  • Сборка РЭУ
    • Пайка и монтаж
    • Корпуса
    • Вопросы надежности и испытаний
  • Аналоговая и цифровая техника, прикладная электроника
    • Вопросы аналоговой техники
    • Цифровые схемы, высокоскоростные ЦС
    • RF & Microwave Design
    • Метрология, датчики, измерительная техника
    • АВТО электроника
    • Умный дом
    • 3D печать
    • Робототехника
    • Repair and debug
  • Силовая электроника - Power Electronics
    • Силовая Преобразовательная Техника
    • Обратная Связь, Стабилизация, Регулирование, Компенсация
    • Первичные и Вторичные Химические Источники Питания
    • Высоковольтные Устройства - High-Voltage
    • Электрические машины, Электропривод и Управление
    • Индукционный Нагрев - Induction Heating
    • Системы Охлаждения, Тепловой Расчет – Cooling Systems
    • Моделирование и Анализ Силовых Устройств – Power Supply Simulation
    • Компоненты Силовой Электроники - Parts for Power Supply Design
  • Интерфейсы
    • Форумы по интерфейсам
  • Поставщики компонентов для электроники
    • Поставщики всего остального
    • Компоненты
  • Майнеры криптовалют и их разработка, BitCoin, LightCoin, Dash, Zcash, Эфир
    • Обсуждение Майнеров, их поставки и производства
  • Дополнительные разделы - Additional sections
    • Встречи и поздравления
    • Ищу работу
    • Предлагаю работу
    • Куплю
    • Продам
    • Объявления пользователей
    • Общение заказчиков и потребителей электронных разработок

Find results in...

Find results that contain...


Date Created

  • Start

    End


Last Updated

  • Start

    End


Filter by number of...

Joined

  • Start

    End


Group


AIM


MSN


Сайт


ICQ


Yahoo


Jabber


Skype


Город


Код проверки


skype


Facebook


Vkontakte


LinkedIn


Twitter


G+


Одноклассники


Title

Found 0 results

  1. Здравствуйте, коллги Можете подсказать открытое ПО или библиотеки для генерации регистровых UVM моделей по excel или IP-XACT файлам? Так же было бы не плохо генерировать IP-XACT с помощью GUI или какой-нибудь Python либы с простым API.
  2. Здравствуйте, коллеги Частенько встречал на форумах и в личных беседах некоторую путанницу в определениях видов верификации. Перечислю основные с примерными определениями. Буду рад ссылкам на статьи/книжки, где данный словарь дополняется или где даются более строгие определения. Функциональная - Всё что тестируется через симулятор (типа QuestaSim, Xcelium и т.п.) Формальная - Тестирование дизайна на формальную целостность (dead-code, FSM dead-lock, размеры шин и пр.). Сюда же относятся и assertion (SVA). Модульная - Тестирование отдельных модулей дизайна. Интеграционная - Тестирование всего чипа в целом.
  3. Всем привет! Пытаюсь запрограммировать встроенную в ПЛИС флешку на Tang Nano 9K из командной строки с верификацией: gw_programmer_cli --device GW1NR-9C --fs firmware.fs -r 6 Target Cable: Gowin USB Cable(FT2CH)/0/0/null Operation "embFlash Erase,Program,Verify" is starting on device-1... Erasing embFlash ...: [#########################] 100% Programming...: [#########################] 100% Verifying...: [ ] 0% Error: Verify Failed at 0 Verifying...: [#########################] 100% Error: Verify Failed! Cost 12.59 second(s) И ещё ни разу не было такого, чтобы верификация прошла. При этом простое программирование без верификации проходит "на ура". Программатор (программа) из комплекта Gowin_V1.9.8.06-1. Уважаемые участники, как вы решаете (если решаете) вопрос с верификацией прошивки после программирования?
  4. Добрый день! Выкладываю курс по Perspec от Cadence Design Systems. https://disk.yandex.ru/d/9ywRCGN3fZv_3A
  5. Что обозначает в покрытии данный пункт ?. Для примера загрузил скрин и подчеркнул красным
  6. Посоветуйте материал для изучения UVM ?
  7. Всем добра! Собираемся приступить к этому (не уверен, что нужному, но мимо стандарта не попрёшь) делу. У кого-то есть опыт использования инструментов от, например, Aldec (по-моему, ещё Mentor умеет, но сходу не нашёл)? Чтобы сразу обозначить задачу, скажу, что для того, чтобы, в соответствии с вышеупомянутыми стандартами верифицировать (прошивку) ПЛИС, её "окружают" другой ПЛИС, которая, в свою очередь, вкупе с ПО, тестирует первую. Если грубо, то так. Если у кого есть чего конкретного сказать, я бы послушал. Все материалы с сайта Aldec по теме выкачал: буду курить..
×
×
  • Create New...