VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification.

Published in: TACAS (1) (2024)

Keyphrases

hardware implementation
image processing
efficient implementation
real time
data sets
genetic algorithm
artificial intelligence
image sequences
conjunctive queries
implementation details
implementation issues
query rewriting
rewrite rules