Anamaya Sullerey

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

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