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

Alfred Koelbl, Yuan Lu, Anmol Mathur. Embedded tutorial: formal equivalence checking between system-level models and RTL. In 2005 International Conference on Computer-Aided Design (ICCAD 05), November 6-10, 2005, San Jose, CA, USA. pages 965-971, IEEE Computer Society, 2005.

Abstract

Abstract is missing.