SuperCAR
A parallel bit-level safety model checker
Together with Yechuan Xia, we implemented a model checker portfolio, parallel running different variants containing optimizations proposed before, and took part in the AIGER track in the HWMCC competition this year.
SuperCAR won a bronze medal in the AIGER track this year!
HWMCC'24 result (AIGER)