Верификация соответствия между VHDL и Verilog - Форум разработчиков электроники ELECTRONIX.ru

Wiki

Photo

Forum

Reviews

Help (!)

Верификация соответствия между VHDL и Verilog, как проверить совпадение результата

Chudik Просмотр профиля	Apr 12 2006, 23:42 Сообщение #1
Частый гость Группа: Свой Сообщений: 197 Регистрация: 31-03-06 Пользователь №: 15 676	Есть небольшой проект на VHDL. Тестбенча или файла тестовых векторов нет . Хочу переписать на Верилоге для дальнейшей работы. Как проверить, что выход синтезатора идентичен выходу VHDL? Оба проекта компилируются в Альтеру. Сравнить файлы .pof или есть более разумный вариант?

Ответов

CaPpuCcino Просмотр профиля	Apr 20 2006, 20:09 Сообщение #2
тоже уже Гуру Группа: Свой Сообщений: 2 047 Регистрация: 13-06-05 Из: Кёлн - Санкт-Петербург Пользователь №: 5 973	Цитата(Chudik @ Apr 13 2006, 03:42) Есть небольшой проект на VHDL. Тестбенча или файла тестовых векторов нет . Хочу переписать на Верилоге для дальнейшей работы. Как проверить, что выход синтезатора идентичен выходу VHDL? Оба проекта компилируются в Альтеру. Сравнить файлы .pof или есть более разумный вариант? если проект небольшой то самое простое написать тестбенч в который установить оба инстанса и один сделать опорным и сравнить результаты. тестбенч будет реально простым -------------------- И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.

Сообщений в этой теме

Chudik Верификация соответствия между VHDL и Verilog Apr 12 2006, 23:42

Gate Есть конвертер verilog->vhdl и (вроде) обратно.... Apr 13 2006, 08:42

Chudik Да я уже переписал. И Xhdl у меня есть скачанный, ... Apr 13 2006, 09:11

tafkos Как на счет формальной верификации двух описаний? Apr 20 2006, 19:38

CaPpuCcino Цитата(Chudik @ Apr 13 2006, 03:42) Есть ... Apr 20 2006, 20:09

Chudik Цитата(tafkos @ Apr 20 2006, 12:38) Как н... Apr 22 2006, 07:38

ASN Chudik Можно, ActiveHDL поддерживание смешанное пр... Apr 22 2006, 12:14

Chudik Цитата(ASN @ Apr 22 2006, 05:14) Можно, A... Apr 22 2006, 16:05

Chudik наконец нашёл время написать тестбенч для совместн... Apr 29 2006, 05:32

ASN Chudik Если используется Aldec 6.3, то вот "п... Apr 29 2006, 19:25

Chudik не помогает. При диагностике лицензии говолит, что... Apr 29 2006, 20:15

ASN Chudik Странно... Ссылка - это zip архив. При ск... Apr 29 2006, 20:49

Chudik ASN ЦитатаНо у меня full version. Может в этом дел... Apr 30 2006, 03:47

ASN Chudik Нет, купил на диске (как образ iso - Expert... Apr 30 2006, 08:57

Chudik Ага, у меня та же версия. Странно, сегодня запусти... Apr 30 2006, 15:53

Chudik Всё проверил, всё совпадает Особое спасибо ASN May 3 2006, 05:59

1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)

Пользователей: 0

Режим отображения: Переключить на: Стандартный · Переключить на: Линейный · Древовидный

Сейчас: 23rd July 2025 - 18:41