News

Maseeh College professors Fei Xie, Department of Computer Science, and Xiaoyu Song, Department of Electrical and Computer Engineering, received a $225,000 research grant from the Semiconductor Research Corporation for their project entitled, “Scalable Co-Verification Based on Hardware IPs and Software Components." The duration of the project is from October 2005 to September 2008.

This project will develop a novel component-based approach to formal hardware/software co-verification of embedded systems using model checking. This approach has great potentials in improving safety, security, and reliability of embedded systems by detecting errors in hardware and software interactions. It achieves scalable co-verification by leveraging composition structures of embedded systems to reduce verification complexities.

Based in Research Triangle Park, North Carolina, the Semiconductor Research Corporation (SRC) plans and manages a program of basic and applied university research on behalf of its participating members. Currently, SRC sponsors research at universities worldwide. Since it was established in 1982, it has funded more than $500 million in long-term semiconductor research contracts.

###

Source: Professor Fei Xie