Алгоритмы генерации тестов для языков описания компьютерной аппаратуры
Test Generation Algorithms for Computer Hardware Description Languages
1982-07-01
SCID: 54.1/8aa6f45r
Discuss with AI
D-алгоритмD-пропагацияязыки описания аппаратурыконстантные неисправностигенерация тестов
Figures from the paper
Abstract (AI)
В статье предлагается расширение D-алгоритма для функций, описанных на языках описания компьютерной аппаратуры. Предлагаемое расширение применимо как к процедурным, так и к непроцедурным языкам. Рассматриваются методы D-проталкивания через базовые конструкции этих языков и генерации тестов для схем, содержащих функции, описанные на языках описания компьютерной аппаратуры (CHDL). Рассматриваемые модели неисправностей включают залипание переменных функции в состоянии 0 или 1, неисправности управления и неисправности функций с заданным пользователем неисправным поведением.
Key Findings
1
Определены методы D-пропагации через базовые конструкции языков для генерации тестов схем, содержащих функции на CHDL.
2
Подход охватывает неисправности переменных, застрявших в состоянии 0 или 1, управляющие неисправности и неисправности функций с заданным пользователем ошибочным поведением.
3
Расширение применимо как к процедурным, так и к непроцедурным языкам описания аппаратуры.
4
В работе расширен D-алгоритм для генерации тестов функций, описанных на языках описания аппаратуры компьютеров.
Research Object
функции и схемы, описанные на языках описания компьютерной аппаратуры (CHDL)
Research Subject
генерация тестов для неисправностей типа «залипание» на 0 или 1, управляющих неисправностей и неисправностей функций с заданным пользователем ошибочным поведением с использованием расширенного D-алгоритма
Publication Details
Publication Date
1982-07-01
Journal
Publisher
ISSN
Access Type
Author Information
Download PDF
Subscribe to digest