CEDA
CEDA contests
français | english
Navigation
Home
Sitemap
This wiki
This page

 

Here are the contests we support:

ISPD:  Contests on physical design topics.  To collect your prize, you need to make yoru source accessible to other researchers.  (This policy has been successful so far)  Budget $1750/year - $1000 first, $500 second, $250 third place.  in 2008, ISPD kicked in an equal amount.

    2007: Global routing:  www.sigda.org/ispd2007/rcontest/

    2008: Global Routing:  www.sigda.org/ispd2008/contests/ispd08rc.html

    2009: Clock tree generation: www.sigda.org/ispd/contests/ispd09cts.html

Memocode:

    The Memocode Contest is a month-long team design effort on a announced problem which must be solved on a limited, reconfigurable platform. The
contest is judged by a team of academic and industry experts based on performance and design elegance and efficiency metrics. The purse is supported in part by $1,000 from CEDA and similar dondations from Industry. Typically Xilinx donates $1-2k, other donations have been from Nokia, Qualcomm, Synopsys...

    2007: (Matrix Multiplication): http://memocode.irisa.fr/2007/designcontest07/

    2008: (Encripted File Sorting): http://memocode.irisa.fr/2008/designcontest08/

    2009: (--): http://www.ece.cmu.edu/~jhoe/wiki/index.php/2009_Memocode_Co-Design_Contest

IWLS?

    IWLS details go here

 

Possible workshops and conferences that may be ccandidates for future CEDA support - Please take a look and see which ones make sense.

BPR            Bit Precise Reasoning Intl Workshop (affiliated w/ CAV)
CAV            International Conference on Computer Aided Verification
DCC           Intl Conference on Design Computing Cognition
DFTS          Intl Symposium on Defect and Fault Tolerance in VLSI Systems
DSN           International Conference on Dependable Systems and Networks
DVCon        DVcon
EclipseCon   EclipseCon
ECS             Electrochemical Society Meeting
EIM             Enterprise Information Management Conference
EIPBN          International Conference on Electron, Ion, and Photon Beam Technology and Nanofabrication
ETAPS          European Joint Conferences on Theory and Practice of Software
FMCAD         Formal Methods in Computer Aided Design
HLDVT          High Level Design Validation and Test Workshop
ICFP             International Conference on Functional Programming
ICICDT        International Conference on IC Design and Technology
ICWE           International Wireless Communications Expo
IEDM            International Electron Devices Meeting
IEEE APS      IEEE Intl Symposium on Antennas and Propagation
IEMT            International Electronics Manufacturing Technology Conference
IMS / RFIC   International Microwave Symposium / Radio Frequency Integrated Circuits Symposium
IRPS            International Reliability Physics Symposium
ISPLED         International Symposium on Low Power Electronics and Design
ISQED          International Symposium on Quality Electronic Design
ISSCC          Intl Solid State Circuits Conference
ISSTA           International Symposium on Software Testing and Analysis
ITSW            International Test Synthesis Workshop
IWCE            International Wireless Communication Expo
IWLS            International Workshop on Logic and Synthesis
NoCs            Intl Symposium on Networks-on-Chip
OOPSLA        Object Oriented Programming Systems, Languages, and Applications
OSCON         Open Source Conference
PNSQC          Pacific Northwest Software Quality Conference
PODC / CONCUR     Principles of Distributed Computing & Conference on Concurrency Theory
SAT               International Conference on Theory and Applications of Satisfiability Testing
SISPAD         Intl Conference on Simulation of Semiconductor Processes and Devices
SMT              International Workshop on Satisfiability Modulo Theories
SPIE             Adv Lithography           SPIE Advanced Lithography Conference
SwSTE           International Conference on Software – Science, Technology and Engineering
TACAS (ETAPS?)     Tools and Algorithms for the Construction and Analysis of Systems
TAU               International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems
TPHOLs          International Conference on Theorem Proving in Higher Order Logics
TTVSI            Tools and Techniques for Verification of System Infrastructure
VDAT            VLSI Design And Test Symposium
VLSI             Intl Conference on VLSI Design
VMCAI/POPL  Verification, Model Checking, and Abstract Interpretation & Symposium on Principles of Programming Languages
VTS               VLSI Test Symposium
Search
Share