Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Witharana, Hasini"'
Functional validation is necessary to detect any errors during quantum computation. There are promising avenues to debug quantum circuits using runtime assertions. However, the existing approaches rely on the expertise of the verification engineers t
Externí odkaz:
http://arxiv.org/abs/2303.01487
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems, 2024
Concolic testing is a scalable solution for automated generation of directed tests for validation of hardware designs. Unfortunately, concolic testing also fails to cover complex corner cases such as hard-to-activate branches. In this paper, we propo
Externí odkaz:
http://arxiv.org/abs/2302.12241
Autor:
WITHARANA, HASINI1 witharana.hasini@ufl.edu, YANGDI LYU2, CHARLES, SUBODHA3, MISHRA, PRABHAT1
Publikováno v:
ACM Computing Surveys. 2022 Suppl 11, Vol. 54, p1-33. 33p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Hardware and Systems Security; 20220101, Issue: Preprints p1-16, 16p