Towards SAT-Based SBST Generation for RISC-V Cores.

Tobias Faller Philipp Scholl Tobias Paxian Bernd Becker

Published in: LATS (2021)

Keyphrases

answer set programming
application specific
bounded model checking
ai planning
generation process
sat solvers
reinforcement learning
np hard
dynamic programming
low cost
integer programming