by Samar Abdi, University of California, Irvine December 2, 2005read more »
Functional Verification of System Level Model Refinements
Extreme Makeover of Design Automation
Presented by Professor Daniel Gajski, University of California, Irvine IEEE Orange County Computer Society University Club, UC Irvine October 25, 2004read more »
Communication Synthesis for SoC
by Dongwan Shin , University of California, Irvine April 16, 2004read more »
Modeling Flow for Automated System Design and Exploration
by Andreas Gerstlauer, University of California, Irvine April 16, 2004 read more »
System-Level Automatic Model Refinement
Presented by Junyu Peng, University of California, Irvine April 2, 2004 read more »
Specification-driven Validation of Programmable Embedded Systems
Presented by Prabhat Mishra, University of California, Irvine March 19, 2004read more »
System-Level Design Methodology
Presented by Professor Daniel Gajski, University of California, Irvine ASP-DAC 2004 Pacifico Yokohama, Yokohama, Japan January 27, 2004read more »
Estimation and Exploration Automation of System Level Design
Lukai Cai presented his final PhD defense at CECS. December 19, 2003read more »
System Debugging and Verification: A New Challenge
Presented by Professor Daniel Gajski and Samar Abdi, University of California, Irvine Verify 2003 November 20, 2003read more »
Covalidation of Hardware/Software Systems
Presented by Professor Ian G. Harris, University of California, Irvine Intel Test Research Symposium Santa Clara, CA November 7, 2003read more »
Design Methodology for Systems-On-Chip
Presented by Professor Daniel Gajski, University of California, Irvine IEEE Orange County Computer Society Wyndham Gardens Hotel, Costa Mesa, CA August 26, 2002read more »