November 7, 2006
ECE graduate students Padmini Gopalakrishnan and Nishant Sinha received Best in Session Awards at the Semiconductor Research Corporation (SRC) Student Symposium last month in Cary, NC. The event, held this year for the first time, provided 150 SRC-funded graduate students with the opportunity to share their research with companies representing the semiconductor industry.
Gopalakrishnan and Sinha's work are both part of the Center for Silicon System Implementation (CSSI) at Carnegie Mellon. Gopalakrishnan's paper, "A Metric-Embedding Inspired Approach to FPGA Placement," was presented during a session on integrated circuit and systems sciences/integrated systems. She was selected as a SRC graduate fellow in 2003, following a nationwide contest for outstanding academic achievement and microelectronics research. As a fellow, Gopalakrishnan is mentored by two industrial advisors from IBM. Her faculty advisor at Carnegie Mellon is Larry Pileggi, who directs the CSSI.
Sinha's paper, "Compositional Verification of System-on-Chip [SoC] Designs," was a winner under the category for computer aided design and test sciences/verification. His work is conducted under the guidance of his faculty advisor, Edmund Clarke, and is supported by a 2005 SRC grant, "Verification for System Level SoC Design." With the funding, they have developed an automatic and compositional verification methodology for hardware design languages, such as Verilog. Their approach exploits the modularity of the design by carrying out the verification task in a "divide-and-conquer" fashion.