Как Проверить Правильность Схемы

[Akela_whitewolf]

Добрый день!

Решил поэкспериментировать с ПЛИС, заказал девборд с Spartan-3E на борту. Пока девборд не приехал экспериментирую теоретически.

Установил Xilinx ISE Webpack, создал новый проект, выбрал язык VHDL. Написал в качестве тренировки 16-битный ШИМ:

entity PWM is

port (clk: in std_logic; lvl: in std_logic_vector(15 downto 0); pwm: out std_logic);

end PWM;

architecture Behavioral of PWM is

....

end Behavioral;

Проект синтезируется нормально, я могу посмотреть раскладку элементов (LUT, триггеров и прочего) в кристалле. Но возникает такой вопрос: как проверить правильность поведения элемента? Насколько я понимаю, можно запустить симуляцию, подав на вход определенные сигналы и проследить что будет происходить внутри системы. Но как это сделать я не могу разобраться.

Подскажите, пожалуйста, как протестировать элемент?

Можно ли написать автоматизированный тест, проверяющий корректность реализации, по аналогии с юнит-тестом в программировании?

Заранее спасибо.

Михаил.

[Реклама]

Реклама: ООО ТД Промэлектроника, ИНН: 6659197470, Тел: 8 (800) 1000-321

[Vascom]

Надо создать тестбенч. Там должен быть template для этого.

И просимулировать его.

[Реклама]

20% скидка на весь каталог электронных компонентов в ТМ Электроникс!

Акция "Лето ближе - цены ниже", успей сделать выгодные покупки!

Плюс весь апрель действует скидка 10% по промокоду APREL24 + 15% кэшбэк и бесплатная доставка!

Перейти на страницу акции

Реклама: ООО ТМ ЭЛЕКТРОНИКС, ИНН: 7806548420, info@tmelectronics.ru, +7(812)4094849

[Akela_whitewolf]

Спасибо за ответ. Собственно главный вопрос и заключается в том как это сделать. Версия Xilinx ISE - 14.6, не могу разобраться как в его интефейсе создать тест и запустить симуляцию именно этого теста.

[Реклама]

Выбираем схему BMS для корректной работы литий-железофосфатных (LiFePO4) аккумуляторов

 Обязательным условием долгой и стабильной работы Li-FePO4-аккумуляторов, в том числе и производства EVE Energy, является применение специализированных BMS-микросхем. Литий-железофосфатные АКБ отличаются такими характеристиками, как высокая многократность циклов заряда-разряда, безопасность, возможность быстрой зарядки, устойчивость к буферному режиму работы и приемлемая стоимость. Но для этих АКБ, также как и для других, очень важен контроль процесса заряда и разряда, а специализированных микросхем для этого вида аккумуляторов не так много. Инженеры КОМПЭЛ подготовили список имеющихся микросхем и возможных решений от разных производителей. Подробнее>>

Реклама: АО КОМПЭЛ, ИНН: 7713005406, ОГРН: 1027700032161

[Akela_whitewolf]

Как создать тестбенч и запустить его я разобрался. Теперь такой вопрос: можно ли в тестбенче проверять реакцию системы? То есть обеспечить автоматический контроль значений на выходе?

[Vascom]

Конечно.

В тестбенче считываешь выход и сравниваешь с ожидаемым выходом, например. Или глазами смотришь на диаграммы сигналов в симуляторе.