HWMCC

AI framework enhances hardware model checking with adaptive inductive generalization

Researchers have developed a new machine learning framework called A-IC3 to enhance the performance of the IC3 algorithm, a leading technique for hardware model checking. A-IC3 uses a multi-armed bandit approach to dyna…