CADathlon 2015 Contest Problems and References

Problems and References

 
Problem 1: Circuit Design & Analysis
Contributed by: Prof. Yanzhi Wang (Syracuse Univ.) and Prof. Jingtong Hu (Oklahoma State Univ.)
Overview: Optimal PV Groups and Cells to Maximize Total Power Generation - in C
Y. Wang, X. Lin, N. Chang, M. Pedram, "Dynamic Reconfiguration of Photovoltaic Energy Harvesting System in Hybrid Electric Vehicles",
in Proc. of the 2012 ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED) 2012, pp. 109-114.
 
 
Problem 2: Physical Design
Contributed by: Prof. Jingtong Hu (Oklahoma State Univ.) and Oliver Keszocze (Univ. of Bremen, Germany)
Overview: Exact Routing for Digital Microfluidic Biochips with Temporary Blockages - in C++
a. O. Keszocze, R. Wille, R. Drechsler, "Exact Routing for Digital Microfluidic Biochips with Temporary Blockages",
in Proc. of the 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2014, pp. 405-410.
b. Z3Prover (theorem prover), https:/github.com/Z3Prover/z3


 
Problem 3: Logic & High-Level Synthesis
Contributed by: Dr. Myung-Chul Kim (IBM)
Overview: Truth Table Manipulation by Boolean Functions - in C++
No specific reference but a basic logic synthesis textbook (e.g., Logic synthesis and Verification Algorithms, by Hatchtel and Smenzi, Springer, 2006).
The problem is self-contained. 
 
Problem 4: System Design and Analysis
Contributed by: Dr. Luis (Danny) Bathen (Intel)
Overview: Scratchpad Memory Allocation - in Python
H. Takase, H. Tomiyama, H. Takada, "Partitioning and allocation of scratch-pad memory for priority-based preemptive multi-task systems",
in Proc. of the Conference on Design, Automation and Test in Europe (DATE) 2010, pp 1124-1129.
 
Problem 5: Functional Verification
Contributed by: Dr. Myung-Chul Kim (IBM)
Overview: BDD Manipulation and State Equivalence - in C/C++
a. CUDD BDD Package, http://vlsi.colorado.edu/~fabio/CUDD
b. C. A. J. van Eijk, J. A. G. Jess, "Detection of Equivalent State Variables in Finite State Machine Verification",
in Proc. of the International Workshop on Logic Synthesis (IWLS) 1995, pp.3.35-3.44.
 
Problem 6: Future technologies (Bio EDA, Security, etc.)
Contributed by: Dr. Luis (Danny) Bathen (Intel)
Overview: DNA Sequencing - in Python
S. Gunturu, X. Li, L. T. Yang, "Load Scheduling Strategies for Parallel DNA Sequencing Applications,"
in High Performance Computing and Communications (HPPC) 2009, pp.124-131.
 
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. 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 access during the competition, and you are expected not to discuss any questions with colleagues other than your team member.