Formal verification of an ASIC ethernet switch block. - B. A. Krishna; Anamaya Sullerey; Alok Jain (FMCAD, 2010)