Grants and Awards

· National Science Foundation, CSR: Small: Hardware/Software Co-Monitoring, PI: Xie, 10/1/2014-9/30/2017

· National Science Foundation, TC: Small: Collaborative Research: Trustworthy Hardware from Certified Behavioral Synthesis, PSU PI: Xie, 9/15/2009-8/31/2014

· National Science Foundation, CSR: SHF: Small: Automata-Theoretic Approach to Hardware/Software Co-Verification, PI: Xie, 9/1/2009-8/31/2013

· INTEL Research Grant, Formal Verification for High-Level Design and Synthesis Flows, PI: Xie, 10/01/2007-9/30/2010

· National Science Foundation, CSR---EHS: Component-Based Hardware/Software Co-Verification of Embedded Systems, PI: Xie, 9/15/2007-8/31/2010

· INTEL Equipment Grant, 2007

· National Science Foundation, SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software, PSU PI: Xie, 9/1/2006-08/31/2009

· Semiconductor Research Corporation (SRC), Scalable Co-Verification Based on Hardware IPs and Software Components, PI: Xie, Co-PI: Song, 10/1/2005-09/30/2008

· INTEL Higher Education Award, 2004