Jan 13, 2017 : Best Student Paper Award at VLSID 2017.
The paper titled Formal Verification of Power Management Logic with
Mixed-Signal Domains won the best student paper award at the 30th International Conference on VLSI Design, 2017 held in Hyderabad. The paper was co-authored by Sudipa Mandal (IIT Kharagpur), Antonio A Bruto Da Costa (IIT Kharagpur), Aritra Hazra (IIT Madras), Pallab Dasgupta (IIT Kharagpur), Rama Mohan C (Intel), Bhushan Naware (Intel) and Sanjib Basu (Intel).
