Prohlížení Publikační činnost ČVUT dle předmětu "satisfiability"
Zobrazují se záznamy 1-1 z 1
-
On don't cares in test compression
(Elsevier Science, 2014)Both test compression tools and ATPGs directly producing compressed test greatly benefit from don’t care values present in the test. Actually, presence of these don’t cares is essential for success of the compression. ...