3 citations · 4 across the 2 of their papers we have counts for
2 papers
quant-ph2023★ 1 cited
quAssert: Automatic Generation of Quantum Assertions
Hasini Witharana, Daniel Volya, Prabhat Mishra
Functional validation is necessary to detect any errors during quantum computation. There are promising avenues to debug quantum circuits using runtime assertions. However, the exi…
cs.AR2023★ 3 cited
Sequence-Based Incremental Concolic Testing of RTL Models
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
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 c…