Parallelizing Random and SAT-based Verification Processes for Improving Toggle Coverage.

Kiyoharu Hamaguchi

Published in: IPSJ Trans. Syst. LSI Des. Methodol. (2023)

Keyphrases

bounded model checking
model checking
process model
sat solvers
answer set programming
domain independent
parallel processing
data sets
search algorithm
test cases
constraint satisfaction
randomly generated
version space
formal verification
parallel computers
verification method