Always @(RD_CLK) begin if(ok_read) begin if (!CE_N_RD || CE_N_RD === 1'bx) Clock_RD <= RD_CLK; else Clock_RD <= 1'b0; end Модели аппаратуры.

Презентация:



Advertisements
Похожие презентации
Корныхин Евгений МГУ ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров.
Advertisements

Multi-machine management Robust Automation Standards based management.
Автоматическое построение тестов для аппаратного обеспечения с использованием разрешения ограничений проф. А.Петренко, Е.Корныхин.
Автоматическое построение тестов для аппаратного обеспечения с использованием разрешения ограничений проф. А.Петренко, Е.Корныхин.
А в а а а в в в S1S1 S3S3 S2S2 S4S4 S кв = (а + в) 2 S 2 = а 2 S 3 = в 2 S 1 = S 4 = S пр S кв = S 1 + S 2 + S 3 + S 4 (а + в) 2 = а 2 + в S пр а.
Бибиков Д.Н. S. α S S4S4 Q + S1S1 S2S2 S3S3 SnSn.
Автоматическое построение тестов для аппаратного обеспечения с использованием разрешения ограничений проф. А.Петренко, Е.Корныхин.
Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА.
Проблемы обеспечения корректности программ и аппаратуры Институт системного программирования Российской академии наук Камкин Александр.
A-1CVOICESupporting Material and Labs Copyright © 1998, Cisco Systems, Inc. Appendix A: Supporting Material and Labs.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Укажите вид модели: Приведите примеры:
Пример1 Мир
ОБЗОР PL/SQL. Общие понятия PL/SQL – это дополнение стандартного языка SQL многими средствами, присущими современным языкам программирования. PL/SQL обладает.
Корныхин Евгений ВМК МГУ Система генерации тестовых программ с использованием ограничений ТЕСЛА.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Операции со строками Паскаль 9 класс. S1:=ABCDEFGH; S2:=Мама мыла раму; k1:=length(s1); k2:=length(s2); Что получим в результате? S1:=ABCDEFGH; S2:=abcdefgh;
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин науч.рук-ль: проф. А.К.Петренко.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров Евгений Корныхин научный руководитель: д.ф.-м.н. А.К.Петренко.
Транксрипт:

begin if(ok_read) begin if (!CE_N_RD || CE_N_RD === 1'bx) Clock_RD

Верификация моделей аппаратуры Верификация и тестирование занимает до 70% времени разработки: – проверяются алгоритмы; – проверяется кодирование алгоритмов; – проверяется соединение блоков и т.д.

Пример ошибки div r1, r2 mthi r3 mfhi r4 Lo, Hi Hi

Уровни верификации микропроцессоров lui s1, 0xdead ori s1, s1, 0x0 lui s3, 0xbeef ori s3, s3, 0xf add v0, a0, a2 sub t1, t3, t5 add t7, s1, s3 Системный уровеньМодульный уровень Модель микропроцессора тестируется целиком с помощью тестовых программ Тестируется модель отдельного модуля через входные и выходные сигналы

Инструментальная поддержка