======================================================================== SIGDA -- The Resource for EDA Professionals www.sigda.org ======================================================================== 1 May 2004 ACM/SIGDA E-NEWSLETTER Vol. 34, No. 8 Online archive: http://www.sigda.org/newsletter Online feedback: http://www.sigda.org/newsletter.php?op=survey ======================================================================== (This ACM/SIGDA E-NEWSLETTER is being sent to all persons on the ACM/SIGDA mailing list. To request removal from the list, please email "pmadden@cs.binghamton.edu".) ======================================================================== Contents of this E-NEWSLETTER: (1) Current DA TechNews issue Saturday May 1 2004 From: "Diana Marculescu" (2) Upcoming Conferences and Symposia Saturday May 1 2004 From: "Igor Markov" (3) Upcoming Funding Opportunities Saturday May 1 2004 From: "Iris Bahar" (4) TODAES Special Issue on Validation of Large Systems Saturday May 1 2004 From: "Ian Harris" ======================================================================== Dear ACM/SIGDA members, The SIGDA E-Newsletter is actively looking for industrial sponsors. If you are an EDA company interested in getting more visibility and supporting our E-Newsletter, please contact the Newsletter editor, Diana Marculescu (dianam@ece.cmu.edu). You can find the content of the current issue of SIGDA TechNews at http://www.acm.org/da_technews/current/homepage.html As always, we welcome your comments and suggestions. If you would like to participate or contribute to the content of the E-Newsletter, please feel free to contact any of us. Diana Marculescu, SIGDA E-Newsletter Editor Larry Pileggi, SIGDA E-Newsletter TechNews Associate Editor R. Iris Bahar, SIGDA E-Newsletter Associate Editor Igor Markov, SIGDA E-Newsletter Associate Editor Hiroto Yasuura, SIGDA E-Newsletter Associate Editor, Asian Activities DA TechNews headlines: "Panel Mulls Configurable, Reconfigurable IP for SoCs" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item1 "3D Interconnect Technology Coming to Light" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item2 "ACM's 41st Design Automation Conference Plays Host to Final Interoperability Workshop June 7 in San Diego" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item3 "Intel Tries to Keep Its Cool" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item4 "'Unbelievable' Paper Cites 90X IC Placement Speedup" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item5 "Matsushita Slashes Mixed-Signal SoC Development Time" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item6 "ACM's 41st Design Automation Conference Launches Engineering Scholarship Program" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item7 "EDA Must Extend Standards Further" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item8 "Changes Force Radical Rethink of ASIC SRAM" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item9 "Nanoscale Switch Promises Faster Programmable Chips" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item10 "Refining Semiconductors, One Atom at a Time" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item11 "Consultant Begins Work on EDA 'Encyclopedia'" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item12 "Smaller Chips? Just Add Water" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item13 "Chip Makers Moving to Reduce Use of Lead" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item14 "ESL Chapter 1" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item15 "Tight DSP and NP Integration Produces Enhanced VoIP Chip Solutions" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item16 "ARCNET, the Engineer's Secret Weapon" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item17 "Hurry Up and Wait" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item18 "Selecting the Best Power Management Interface for Portable System Designs" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item19 "Market Anomaly" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item20 "The First Nanochips" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item21 "The Roadmap for ESH" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item22 "Happy Memories" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item23 "Manufacturing Issues in Memory Modules" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item24 "Launching Offshore" http://www.acm.org/da_technews/articles/2004-2/0422t.html#item25 ======================================================================== Submission deadlines: --------------------- CASES 2004 - Intl. Conf. on Compilers, Architecture and Synthesis of Embedded Systems Washington, DC Deadline: May 10, 2004 Conf. dates: Sep. 23-25, 2004 http://www.casesconference.org MICRO`04 - Intl. Symp. on Micoarchitecture Portland, OR Deadline: May 28, 2004 Symposium dates: Dec 6-8, 2004 http://www.microarch.org/micro37/ ESTIMedia 2004 - Second Workshop on Embedded Systems for Real-Time Multimedia (NEW) Stockholm, Sweden Deadline: June 4, 2004 Workshop Dates: September 6-7, 2004 http://www.ece.cmu.edu/~sld/ESTIMedia/ HPCA`04 - Intl. Symp. on High-Performance Computer Architecture San Francisco, CA Deadline: Jul 12, 2004 Symposium dates: Feb 12-16, 2005 http://www.hpcaconf.org/hpca11/ IP/SOC 2004 - IP Based SoC Design Forum and Exhibition (NEW) Grenoble, France Deadline: September 25, 2004 Workshop dates: December 8-9, 2004 http://www.us.design-reuse.com/ipsoc2004/ Upcoming symposia, conferences and workshops: --------------------------------------------- SAT-2004 Intl. Conf. on Theory and Applications of Satisfiability Testing with 2004 SAT SOLVER COMPETITION, 2004 QBF SOLVER EVALUATION Author Registration: February 3 (Paper, solver & benchmark) Paper Submission: February 6 SAT Solver Submission: February 13 (Benchmarks: February 20) QBF Solver Submission: February 21 (Benchmarks: February 28) Vancouver, British Columbia, Canada Conference Dates: 10-13 May 2004 http://www.satisfiability.org/SAT04/ ISCAS 2004 - Intl. Symp on Circuits and Systems Vancouver, Canada Symposium dates: May 23-26, 2004 http://www.iscas2004.org/ IWLS 2004 - International Workshop on Logic and Synthesis Temecula Creek, CA (co-located with DAC 2004) Deadline: March 15, 2004 (EXTENDED) Workshop dates: June 2-4, 2004 http://www.iwls.org USOC 2004 - International Workshop on UML for SoC Design San Diego, CA Deadline: Jan. 12, 2004 Workshop Dates: June 6, 2004 For more information: E-mail General chairs Grant Martin and Wolfgang Mueller (gmartin@cadence.com and wolfgang@acm.org) DAC 2004 - Design Automation Conference San Diego, CA Deadline: November 24, 2003 Conference dates: June 7-11, 2004 http://www.dac.com/ SIGDA Ph.D. Forum at DAC San Diego, California Deadline: February 20, 2004 Forum date: June 8, 2004 http://sigda.org/daforum/ PLDI 2004 - Conf. on Programming Languages Design and Implementation Washington, DC (co-located with LCTES 2004) Deadline: November 15, 2003 Conference dates: June 9-11, 2004 http://www.cs.umd.edu/~pugh/pldi04/ LCTES 2004 - Conf. on Languages, Compilers, and Tools for Embedded Systems Washington, DC (co-located with PLDI 2004) Deadline: Jan 30, 2004 Conference dates: June 11-13 2004 http://lctes04.flux.utah.edu/ STOC 2004 - ACM Symposium on Theory of Computing Chicago, IL Symposium dates: June 13-15, 2004 http://people.cs.uchicago.edu/~stoc04/ ACSD - Intl. Conf. Application of Concurrency to System Design Hamilton, Canada Deadline: December 19, 2003 Conference Dates: June 16-18, 2004 http://acsd.mcmaster.ca/ ISCA 2004 - Intl. Symposium on Computer Architecture Munchen, Germany Deadline: October 31, 2003 / November 7, 2003 Symposium dates: June 19-23, 2004 http://wwwbode.cs.tum.edu/~isca/cfp.html The 2004 International Conference on Embedded Systems and Applications (ESA-04) Las Vegas, Nevada, USA, June 21-24, 2003 http://juliet.stfx.ca/~lyang/esa-04/ The 2004 International Conference on VLSI (VLSI-04) Las Vegas, Nevada, USA, June 21-24, 2003 http://juliet.stfx.ca/~lyang/vlsi-04/ MEMOCODE 2004 - Formal Methods and Models for Co-Design San Diego, CA Deadline: Jan. 30, 2004 Conference Dates: June 22-25, 2004 http://www.irisa.fr/MEMOCODE ECRTS - Euromicro Conf. on Real-Time Systems Catania, ITALY Deadline: December 7, 2003 Conference Dates: Jun. 30 - Jul. 2, 2004 http://www.diit.unict.it/ecrts2004/ ISLPED 2004 - International Symposium on Low Power Electronics and Design Newport Beach, CA Deadline: Feb.20, 2004 Symposium dates: Aug.9-11, 2004 http://www.islped.org CHES 2004 - Workshop on Cryptographic Hardware and Embedded Systems Boston, MA Deadline: March 2, 2004 Workshop dates: August 11-13, 2004 http://islab.oregonstate.edu/ches/ ICPP-NEC04: International Workshop on Networked Embedded Computing Montreal, Canada Deadline: April 15, 2004 Workshop dates: Aug. 15-18, 2004 http://juliet.stfx.ca/~lyang/icpp04-nec/ Digital System Design Symposium Rennes, France Deadline: March 1, 2004 Conference dates: August 31-September 3, 2004 http://www.dsdconf.org EUROMICRO 2004 Symposium on Digital Design (Architecture, Methods and Tools) Rennes, France Deadline: March 1, 2004 Symposium dates: August 31 - September 3, 2004 http://www.dsdconf.org/ SCOPES 2004 - International Workshop on Software and Compilers for Embedded Systems (NEW) Amsterdam, Netherlands Deadline: April 15, 2004 Conference Dates: September 2-3, 2004 http://www.scopes2004.org SBCCI 2004 - Symposium on Integrated Circuits and Systems Design Porto de Galinhas, Brazil Symposium dates: September 7-10, 2004 Deadline: April 9th, 2004 http://www.sbc.org.br/sbcci CODES+ISSS 2004 - Intl. Conf. on Hardware/Software Codesign and System Synthesis Stockholm, Sweden Deadline: April 12, 2004 Conference Dates: September 8 - 10, 2004 http://www.ida.liu.se/codes/ IEEE-SOCC 2004 - IEEE International SOC Conference Santa Clara, California Deadline: April 16, 2004 Conference Dates: Sept. 12-15, 2004 http://www.ieee-socc.org PATMOS 2004 - Intl. Workshop Power and Timing Modeling, Optimization and Simulation Isle of Santorini, Greece Deadline: March 14, 2004 Workshop dates: September 15 - 17, 2004 http://www.vlsi.ee.upatras.gr/patmos04/ CP 2004 - Intl. Conf. on Principles and Practice of Constraint Programming Toronto, Canada Deadline: April 16, 2004 Conf. dates: September 27 - October 1, 2004 http://ai.uwaterloo.ca/~cp2004/ FPL '04 - Intl. Conf. on Field Programmable Logic and Applications (includes a Ph.D. forum) Antwerp, Belgium Deadline: March 21, 2004 Conference Dates: September 30 - October 1, 2004 http://fpl.org PACT`04 - Parallel Architecture and Compilation Techniques Antibes Juan-les-Pins, France (between Nice and Cannes) Deadline: March 21 (abstracts) and March 28, 2004 (papers) Conference dates: September 29 - October 3, 2004. http://www.pactconf.org/ FOCS 2004 - Symposium on Foundations of Computer Science Rome, ITALY Deadline: April 9, 2004 Symposium dates: October 17-19, 2004 http://www.dis.uniroma1.it/~focs04/ ASPLOS 2004 - Intl. Conf. on Architectural Support for Programming Languages and Operating Systems Boston, Massachusetts Deadline: February 27, 2004 / March 5, 2004 Conference dates: October 9-13, 2004 http://www.eecg.toronto.edu/asplos2004/ ICCAD 2004 - Intl. Conf. Computer-Aided Design San Jose, CA Deadline: April 21, 2004 Conf. dates: November 7-11, 2004 http://www.iccad.com/ ======================================================================== Upcoming Funding Opportunities ------------------------------ NSF programs CISE has gone through a major reorganization. The new organization has four divisions: the Division of Computing & Communication Foundations (CCF); the Division of Computer and Network Systems (CNS); the Division of Information and Intelligent Systems (IIS); and the Division of Shared Cyberinfrastructure (SCI). Each division is organized into a small number of clusters that are responsible for managing a portfolio of grants and proposal competitions within a broad area of research and education. Following are specific programs that fall under the CISE umbrella. Science of Design Program URL: http://www.cise.nsf.gov/funding/pgm_display.cfm?pub_id=13078 Deadline: May 19, 2004 Communicating Research to Public Audiences http://www.cise.nsf.gov/fndg/pubs/display2.cfm?pub_id=5582&div=ccr Deadline: No fixed deadline (6 months prior to anticipated start date) Facilitation Awards for Scientists and Engineers with Disabilities http://www.cise.nsf.gov/fndg/pubs/display2.cfm?pub_id=5761&div=ccr Deadline: No fixed deadline National Nanotechnology Infrastructure Network (NNIN) http://www.nsf.gov/pubs/2003/nsf03519/nsf03519.html Letter of Intent due: April 7, 2004 Deadline: May 17, 2004 Grant Opportunities for Academic Liaison with Industry (GOALI) http://www.nsf.gov/pubs/1998/nsf98142/nsf98142.htm Deadline: contact program director ------------------------------------------------------------------------ SRC programs No current calls ------------------------------------------------------------------------ DARPA programs LifeLog http://www.darpa.mil/baa/baa03-30.htm Response Date: May 07, 2004 ------------------------------------------------------------------------ Office of Naval Research No current calls ======================================================================== ACM Transactions on Design Automation of Electronic Systems seeks original manuscripts for a Special Issue on Validation of Large Systems scheduled to appear in October 2005. Papers for this special issue will be chosen from the submissions to the High Level Design Validation and Test (HLDVT) workshop 2004. The authors of selected HLDVT submissions will be invited to submit extended versions of their papers for the special issue. Please see the HLDVT website, www.hldvt.com, for more information. HLDVT Submission Deadline: June 30, 2004 HLDVT Submission Website: www.hldvt.com Queries regarding paper submission can be addressed to the guest editor: Ian G. Harris, harris@ics.uci.edu or the editor-in-chief Mary Jane Irwin, mji@cse.psu.edu. ========================================================================