On using ABC for deriving distinguishing sequences for Verilog-descriptions / N. G. Kushik [et al.]
Язык: английский.Резюме или реферат: In this paper, we discuss how a software ABC can be effectively used to derive distinguishing sequences for Verilog-descriptions. A set of these sequences can serve as a test suite for a digital device that is designed based on the corresponding Verilog-description using the FPGA technology. The paper contains a methodology for such test derivation technique, as well as technical details about the use of the tool and necessary commands. ABC can be easily downloaded from its official web site, and an interested reader can always repeat these experiments or apply this technology for more serious industrial need..Аудитория: .Тематика: электронный ресурс | труды учёных ТПУ Ресурсы он-лайн:Щелкните здесь для доступа в онлайнНет реальных экземпляров для этой записи
Title screen
In this paper, we discuss how a software ABC can be effectively used to derive distinguishing sequences for Verilog-descriptions. A set of these sequences can serve as a test suite for a digital device that is designed based on the corresponding Verilog-description using the FPGA technology. The paper contains a methodology for such test derivation technique, as well as technical details about the use of the tool and necessary commands. ABC can be easily downloaded from its official web site, and an interested reader can always repeat these experiments or apply this technology for more serious industrial need.
Для данного заглавия нет комментариев.
Личный кабинет оставить комментарий.