Verification

Machine-learning-aided hardware model checking algorithms.

A word-level abstract symbolic simulator on RTL. We are currently developing the next generation with its core functionalities in C++, based on SMT-Switch framework. Join us if you are interested.