CAD-P3: Testing, Verification, and Simulation

Session Type: Poster
Time: Monday, May 24, 14:15 - 15:45
Location: Poster Area 2
Chair: Sung Kyu Lim, Georgia Institute of Technology
 
CAD-P3.1: TEST VECTOR GENERATION AND CLASSIFICATION USING FSM TRAVERSALS
         Ralph Marczynski; Southern Methodist University
         Mitchell Thornton; Southern Methodist University
         Stephen Szygenda; Southern Methodist University
 
CAD-P3.2: FORMAL VERIFICATION OF AN SOC PLATFORM PROTOCOL CONVERTER
         Jounaïdi Ben Hassen; Concordia University
         Sofiène Tahar; Concordia University
 
CAD-P3.3: FPGA BASED ACCELERATOR FOR FUNCTIONAL SIMULATION
         Mohamed Wageeh; Mentor Graphics Egypt
         Ayman Wahba; Mentor Graphics Egypt
         Ashraf Salem; Mentor Graphics Egypt
         Mohamed Sheirah; Ain Shams University
 
CAD-P3.4: FREQUENCY DOMAIN WAVELET METHOD WITH GMRES FOR LARGE-SCALE LINEAR CIRCUIT SIMULATION
         Jian Wang; Fudan University
         Xuan Zeng; Fudan University
         Wei Cai; University of North Carolina at Charlotte
         Charles Chiang; Synopsys, Inc.
         Jiarong Tong; Fudan University
         Dian Zhou; University of Texas, Dallas
 
CAD-P3.5: EVENT-DRIVEN DYNAMIC POWER MANAGEMENT BASED ON WAVELET FORECASTING THEORY
         Ali Abbasian; University of Tehran
         Safar Hatami; University of Tehran
         Ali Afzali-Kusha; University of Tehran
         Mehrdad Nourani; University of Texas, Dallas
         Caro Lucas; University of Tehran
 

Home -||- Technical Program -||- Call for Participation -||- Paper Submission -||- Paper Review -||- Plenaries
Invited Sessions -||- Registration -||- Tutorials/Short Courses -||- Forums -||- Technical Program Committee
MySchedule -||- Exhibits -||- Housing -||- Information -||- Committee -||- Contact Us

©2021 Conference Management Services -||- email: organizers@iscas2004.org -||- Last updated Friday, August 17, 2012