Robust PDFs testing of combinational circuits based on covering BDDs
Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 3 (20). С. 129-138 |
---|---|
Corporate Author: | |
Other Authors: | , , , |
Format: | Article |
Language: | English |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000442846 Перейти в каталог НБ ТГУ |