SimGen: Simulation Pattern Generation for Efficient Equivalence Checking.

Carmine Rizzi, Sarah Brunner, Alan Mishchenko, Lana Josipovic

Browse the full DATE paper archive.