Embedded tutorial: formal equivalence checking between system-level models and RTL.

Alfred Klbl, Yuan Lu, Anmol Mathur

Browse the full ICCAD paper archive.