SIGDA's CADathlon at ICCAD

Sunday, Nov. 7, 2010
8 am - 5 pm
Double Tree Hotel
San Jose, CA








CADathlon 2009

  Sponsored by SIGDA
SIGDA Liaison
Assoc. Prof.
R. Iris Bahar

Problems and References

To download the tar.gz file for all related papers, click here.

Problem 1: Circuit Design & Analysis

Contributed by: Ning Mi, Cadence Design Systems

Overview: Process variability in power-grid networks
Stochastic Power Grid Analysis Considering Process Variations,
P. Ghanta, S. Vrudhula, R. Panda and J, Wang, DATE 2005, pp. 964-969.

Problem 2: Physical Design

Contributed by: Love Singhal, Synopsys

Overview: Tangled logic detection
Detecting Tangled Logic Structures in VLSI Netlists,
T. Jindal, C. J. Alpert, J. Hu, Z. Li, G.-J. Nam and C. B. Winn, DAC 2010, pp. 603-608.

Problem 3: Logic & High-Level Synthesis

Contributed by: Smita Krishnaswamy, Columbia University

Overview: SAT-based design error diagnosis
Design Diagnosis Using Boolean Satisfiability,
A. Smith, A. Veneris and A. Viglas, ASP-DAC 2004, pp. 218-223.

Problem 4: System Design and Analysis

Contributed by: Srinivasan Murali, iNoCs

Overview: ILP-based on-chip communication architecture core allocation for chip multiprocessors
An Application-specific Design Methodology for STbus Crossbar Generation,
S. Murali and G. De Micheli, DATE 2005, pp. 1176-1181.

Problem 5: Functional Verification

Contributed by: Hao Zheng, University of South Florida

Overview: Cycle-based logic simulation
Cycle Simulation Techniques,
S. Palnitkar and D. Parham, IEEE International Verilog HDL Conference 1995, pp. 2-8.
The AIGER And-Inverter Graph (AIG) Format , Version 20070427,
A. Biere, Johannes Kepler University, 2006-2007.

Problem 6: Bio EDA

Contributed by: Tsung-Yi Ho, National Cheng Kung University

Broadcast electrode-addressing for pin-constrained multi-functional digital microfluidic biochips,
T. Xu and K. Chakrabarty, DAC 2008, pp. 173-178.
Optimization by Simulated Annealing,
S. Kirpatrick, C. D. Gelatt and M. P. Vecchi, Science, Vol. 220, No. 4598, pp. 671-680, 1983.

Computer Platform

During the contest one desktop computer will be available per team, running a standard installation of Ubuntu Linux. All necessary software and the problem statements will be pre-installed. In your home directory you will find a beginning directory structure to organize your work and initial problem frameworks such as parsers.

You will be allowed to bring in any written or printed materials, but no electronic storage media or computing devices. (If you have a preferred VIM or Emacs configuration, you will need to print them out beforehand and type them in.) Whatever you bring in shall stay in the room until you decide to leave the room at the end of the day.

You will not have any internet or phone access during the competition, and you are expected not to discuss any questions with colleagues other than your team member.

Problem subjects and reference papers are available now!