Login / Signup

STSearch: State Tracing-based Search Heuristics for RTL Validation.

Ziyue ZhengYangdi Lyu
Published in: DATE (2023)
Keyphrases
  • search heuristics
  • constraint programming
  • search strategy
  • evolutionary algorithm
  • special case
  • tabu search
  • neural network
  • reinforcement learning
  • constraint satisfaction
  • greedy algorithm