A compositional theory for post-reboot observational equivalence checking of hardware.

Zurab Khasidashvili, Daher Kaiss, Doron Bustan

Browse the full FMCAD paper archive.