SIGDA E-News 1 January 2012, Vol. 42, No. 1

 Special Interest Group on Design Automation
1 January 2012, Vol. 42, No. 1
Online archive:

  1. SIGDA News
        Contributing author: Matthew Guthaus <>
        From: Lin Yuan <>
  2. What is Nano-Magnetic Logic?
        Contributing author: Sanjukta Bhanja <>
        From: Srinivas Katkoori <>
  3. Paper Submission Deadlines
        From: Debjit Sinha <>
  4. Upcoming Conferences and Symposia
        From: Debjit Sinha <>
  5. Upcoming Funding Opportunities
        From: Sudeep Pasricha <>
  6. Call for Papers: VLSI Design Journal Special Issue on New Algorithmic Techniques for EDA Problems
        From: Shantanu Dutt <>
  7. Call for Papers: International Symposium on Hardware-Oriented Security and Trust (HOST)
        From: Gang Qu <>
  8. Call for Papers: TCAD Special Section on Three-dimensional Integrated Circuits and Microarchitectures
        From: Deming Chen <>
  9. Call for Papers: International Conference on Formal Methods and Models for Codesign (MEMOCODE)
        From: Luca Carloni <>
  10. Call for Papers: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
        From: Sudeep Pasricha <>

Comments from the Editors

Dear ACM/SIGDA members,

Welcome to the 2012 volume (number 42) of the ACM SIGDA E-Newsletter!
If you have call for papers, announcements, or other information that
is important for SIGDA members, please send it to one of the editors
below or by responding to the latest E-Newsletter. We typically send
out the E-Newsletter on the first of each month and require
information a few days prior to that in formatted plain text format.

We would also like to thank Marc Riedel for his years of service as a
SIGDA E-Newsletter Associate Editor. He is currently leaving the
position. If there are any SIGDA members interested in helping with
the SIGDA News column (along with Assoc. Editor Lin Yuan), please
contact the editor Matthew Guthaus <>.

In this issue, we have a new article on "What is Nano-Magnetic Logic?"
by Sanjukta Bhanja, University of South Florida. If you are interested
in contributing to the "What is..." column in the future, please
contact Srinivas Katkoori <>. An article only
needs to be about 1 page long with several references. All articles
are included in the ACM digital library and there is no restriction
for the reproduction of the article for printed publication later.

Matthew Guthaus, E-Newsletter Editor;
Debjit Sinha, E-Newsletter Associate Editor;
Lin Yuan, E-Newsletter Associate Editor;
Sudeep Pasricha, E-Newsletter Associate Editor;
Srinivas Katkoori, E-Newsletter Associate Editor

Back to Contents


"ACM Names 54 Distinguished Members for Contributions to Computing"
ACM named its 2011 distinguished members for contributions to
computing which includes two members of SIGDA: Diana Marculescu,
Carnegie Mellon University; and Igor L. Markov, University of Michigan.

"EE Times' 20 hot technologies for 2012"
What follows is a list of 20 technologies EE Times editors think can
bring big changes, and that we will be tracking during 2012.

"10 notable blunders of 2011"
For most of electronics, 2011 came in like a lion and is going out
like a lamb. Carryover from a strong bounce back year in 2010 set
markets booming in the early part of the year, but dragging
effects—chiefly macroeconomic concerns—have slowed business
considerably as the year draws to a close.

"ST claims world's first contactless wafer test"
European chip company STMicroelectronics NV has said it has produced
the first wafer on which the die were fully tested wirelessly and
without the use of contact probes.

"'Second Coming' of Magma Forced Synopsys to Deal"
In the aftermath of the Synopsys-Magma deal, analysts are wondering
how long Magma co-founder and serial entrepreneur Rajeev Madhavan
(shown) will stick around. For now, Madhaven says he is content to
stay with the merged company so he can get the technology he helped
create into the hands of more chip designers.

"IEEE Names Six Fellows From Within Council on EDA Ranks"
The IEEE Council on Electronic Design Automation (CEDA) today
announced that six candidates from the Council have been appointed
Fellow of the IEEE effective January 1, 2012.

"Strain Speeds Organic Transistors"
Big boost in charge-carrier mobility could open organic semiconductors
to new applications

"Intel Interview: Getting Beyond "Darn Good" Devices "
For at least a few years, the 3-D transistor was hiding in plain
sight. Intel CEO Paul Otellini held up a shiny wafer full of them when
he showed off the company's 22nm SRAM at the Intel Developer Forum in
San Francisco in 2009. But it took until May this year before Intel
revealed exactly how those SRAM transistors are different from their
32nm progenitors. Unlike the traditional planar transistor, which
contains a gate spread along one side of a flat channel, Intel's
Tri-Gate (or FinFET) transistor employs a gate that is draped over
three sides of a 3-D channel, which juts out of plane like a fin.

"3-D printing meets robot design"
Though 3-D printing has generated a lot of buzz and interest in the
industry, the lack of widely available equipment has made the process
inaccessible to most regular would-be consumers. My Robot Nation from
Kodama Studios, however, could be changing that, bringing out
printable 3-D robots just in time for the holidays.

Back to Contents

What is Nano-Magnetic Logic?

Sanjukta Bhanja, University of South Floridaw

Computing using nanomagnets (Nano-Magnetic Logic) is a radically
different framework where coupling among nanomagnets contributes to
information propagation and computation. With proven operation at room
and extended temperatures, magnetic logic offers promise for zero
standby power and "instant on" functionality. In Nano-Magnetic Logic
(NML), basic unit of computation is a nanomagnet with dimensions and
materials such that it exhibits single domain behavior. Material and
geometric shape anisotropy can be exploited to orient the direction of
the overall, ground state (least energy) magnetization along a desired
easy-axis dimension (two possible configurations of magnetic dipole to
achieve Boolean Logic "0" and "1"). Central theme of computation:
when a computing nanomagnet is forced in its energetically hard axis
(direction of the smaller dimensions) and then released (also termed
as clocking), it aligns according to the neighboring magnets (dipolar
interaction) to attain minimum energy of the overall system.

The fabrication process differs between groups accounting for the
equipments' diversity and features. Fabrication is in general
accomplished via a standard electron beam lithography process with the
Nabity NPGS system to expose patterns on a Si wafer with a single
layer of PMMA resist. Next step is to deposit a film of ferromagnetic
material (say Permalloy) of desired thickness using Electron Beam
Evaporator. The patterns are usually analyzed and characterized by
Scanning electron microscopy. Magnetic Force Microscopy is in general
used for obtaining qualitative magnetic measurements. Experimental
demonstrations have a few common features, namely use of
rectangular/elliptic magnets, statically applying inputs to
demonstrate various input combinations, qualitative outputs through
magnetic force microscopes. So far, many stand-alone logic units are
experimentally demonstrated. Examples include majority logic [1],
wires, fan-outs [2, 3], NAND/NOR [4], coplanar cross-wires [5], seven
input majority (majority of majorities) gates [6] to name a few.

One of the few open problems in NML is clocking which refers to
systematic ordering of magnets. A few works in clocking revolves
around spatially moving field [7, 8, 9]. There is a handful of
experimental demonstration of input/output [2, 10]. Recently,
multi-layer magnetic cell is proposed [11] and experimentally
demonstrated [6] that promises the use of spin torque for writing and
tunnel magneto-resistance for reading. Other directions in magnetic
logic are all-spin logic [12, 14]. Key issues that need further
research are experimental demonstration [12] and cascading [14]. With
the promise of excellent CMOS integration [15], systemic architecture
framework [13] and high-speed strain-based clocking [16], NML offers
excellent competition for beyond-CMOS radiation-hardened,
adverse-temperature logic-in-memory architecture as well as
unconventional non-Boolean problem mapping, namely energy-minimization
based computer vision problems [17,18].


[1] A. Imre, G. Csaba, L. Ji, A. Orlov, G. Bernstein and W. Porod,
"Majority Logic Gate for Magnetic Quantum-Dot Cellular Automata,"
Science, vol. 311, no. 5758, 2006.

[2] A. Orlov, A. Imre, G. Csaba, L. Ji, W. Porod and G. Bernstein,
"Magnetic Quantum-Dot Cellular Automata: Recent Developments and
Prospects," Journal of Nanoelectronics and Optoelectronics, vol. 3,
no. 1, pp. 55-68, 2008.

[3] J. Pulecio, P. Pendru, A. Kumari and S. Bhanja, "Magnetic Cellular
Automata Wire Architectures", IEEE Transactions on Nanotechnology,
vol.10, no.6, pp.1243-1248, 2011.

[4] R. Nakatani, H. Nomura and Y. Endo, "Magnetic Logic Devices
Composed of Permalloy Dots," Journal of Physics: Conference Series,
vol. 165, pp. 012030, IOP Publishing, 2009.

[5] J. Pulecio and S. Bhanja, "Magnetic Cellular Automata Coplanar
Cross-Wire Systems," Journal of Applied Physics, vol. 107, no. 3,
pp. 034308-034308, 2010.

[6] D. K. Karunaratne and S. Bhanja, "Study of Single Layer and
Multilayer Nano-magnetic Logic Architectures," Journal of Applied
Physics, Accepted, 2011.

[7] M. Niemier, M. Alam, X. Hu, G. Bernstein, W. Porod, M. Putney and
J. DeAngelis, "Clocking Structures and Power Analysis for Nanomagnet
based Logic Devices," International symposium on Low power electronics
and design (ACM), pp. 26-31, 2007.

[8] A. Kumari and S. Bhanja, "Landauer Clocking for Magnetic Cellular
Automata (MCA) Arrays," IEEE Transactions on VLSI, issn. 1063-8210,

[9] D. Carlton, N. Emley, E. Tuchfeld and J. Bokor, "Simulation
Studies of Nanomagnet-Based Logic Architecture," Nano Letters, vol. 8,
no. 12, pp. 4173-4178, 2008.

[10] D. Karunaratne, J. Pulecio and S. Bhanja, "Driving Magnetic Cells
for Information Storage and Propagation," IEEE Nanotechnology
Materials and Devices Conference (NMDC), pp. 360-363, 2010.

[11] J. Das, S. M. Alam and S. Bhanja, "Low Power Magnetic Quantum
Cellular Automata Realization Using Magnetic Multi-Layer Structures,"
IEEE Journal on Emerging and Selected Topics in CAS, vol. 1, no. 3,
pp. 267-276, Sept. 2011.

[12] B. Behin-Aein, D. Datta, S. Salahuddin and S. Datta, "Proposal
for an All-spin Logic Device with Built-in Memory," Nanture
Nanotechnogy, vol. 5, no. 4, pp. 266-270, 2010.

[13] C. Augustine, B. Behin-Aein, X. Fong, and K. Roy, "A design
methodology and device/circuit/architecture compatible simulation
framework for low-power magnetic quantum cellular automata systems,"
in Proceedings of the 2009 Asia and South Pacific Design Automation
Conference, pp. 847-852, IEEE Press, 2009.

[14] S. R. Patil, X. Yao, H. Meng, J-P Wang and D. J. Lilja, "Design
of a Spintronic Arithmetic and Logic Unit using Magnetic Tunnel
Junctions," Proceedings of the 5th conference on Computing frontiers,
ACM, pp. 171-178, 2008.

[15] J. Das, S. M. Alam and S. Bhanja, "Ultra-low Power Hybrid
CMOS-Magnetic Logic Architecture," (Accepted) for IEEE Transactions on
Circuits and Systems I, 2012.

[16] K. Roy, S. Bandyopadhyay and J. Atulasimha, "Hybrid spintronics
and straintronics: A magnetic technology for ultra low energy
computing and signal processing," Applied Physics Letters, vol. 99,
pp. 063108, 2011.

[17] J. Pulecio, S. Sarkar and S. Bhanja, "An Experimental
Demonstration of the Viability of Energy Minimizing Computing Using
Nano-Magnets," (Accepted) IEEE Conference on Nanotechnology, 2011.

[18] S. Sarkar and S. Bhanja, "Direct quadratic minimization using
magnetic field-based computing," IEEE International Workshop on Design
and Test of Nano Devices, Circuits and Systems, pp. 31-34, 2008.

Back to Contents

Paper Submission Deadlines

BSN'12 - Int'l Conference on Wearable and Implantable Body Sensor Networks
London, UK
May 10-12, 2012
Deadline: Jan 13, 2012 (Abstracts due: Jan 6, 2012)

HOST'12 - Int'l Symposium on Hardware-Oriented Security and Trust
San Francisco, CA (in conjunction with DAC)
June 3-4, 2012
Deadline: Jan 20, 2012

AHS'12 - NASA/ESA Conference on Adaptive Hardware and Systems
Nuremburg, Germany
Jun 25-28, 2012
Deadline: Jan 23, 2012

VLSI Design Journal
(Special Issue in "New Algorithmic Techniques for EDA Problems")
Publication date: Jun 22, 2012
Deadline: Feb 3, 2012

MEMOCODE'12 - Int'l Conference on Formal Methods and Models for Codesign
Arlington, Virginia
July 16-18, 2012
Deadline: Mar 2, 2012 (abstract)
Mar 9, 2012 (paper)

PACT'12 - Int'l Conference on Parallel Architectures and Compilation
Minneapolis, MN
Sep 21-25, 2012
Deadline: Mar 25, 2012

ASQED'12 - Asia Symposium on Quality Electronic Design
Kuala Lumpur, Malaysia
Jul 10-12, 2012
Deadline: Apr 4, 2012

VLSI-SoC'12 - Int'l Conference on Very Large Scale Integration and System on Chip
Santa Cruz, CA
Oct 7-12, 2012
Deadline: Apr 9, 2012

RTCSA'12 - Int'l Conference on Embedded and Real-Time Computing Systems and Applications
Seoul, Korea
Aug 20-22, 2012
Deadline: Apr 16, 2012

Back to Contents

Upcoming Conferences and Symposia

VLSI'12 - Int'l Conference on VLSI Design
Hyderabad, India
Jan 7-11, 2012

TAU'12 - Int'l Workshop on Timing Issues in the Specification and Synthesis of Digital Systems
Taipei, Taiwan, R.O.C
Jan 18 - 20, 2012

HiPEAC'12: Int'l Conference on High Performance Embedded Architectures & Compilers
Paris, France
Jan 23-25, 2012

ASP-DAC'12 - Asia and South Pacific Design Automation Conference
Sydney, Australia
Jan 30 - Feb 2, 2012

ISSCC'12 - Int'l Solid-State Circuits Conference
San Francisco, CA
Feb 19-23, 2012

DATE'12 - Design Automation and Test in Europe
Dresden, Germany
Mar 12-16, 2012

ISQED'12 - Int'l Symposium on Quality Electronic Design
Santa Clara, CA
Mar 19-21, 2012

SPL'12 - Southern Conference on Programmable Logic
Bento Gonçalves, Brazil
Mar 21-23, 2012

ISPD'12 - Int'l Symposium on Physical Design
Napa, CA
Mar 25-28, 2012

ASYNC'12 - Int'l Symposium on Asynchronous Circuits and Systems
(co-located with NOCS'12)
Copenhagen, Denmark
May 7-9, 2012

NOCS'12 - Int'l Symposium on Networks-on-Chip
(co-located with ASYNC'12)
Copenhagen, Denmark
May 9-11, 2012

ISCAS'12 - Int'l Symposium on Circuits and Systems
COEX, Seoul, Korea
May 20-23, 2012

DAC'12 - Design Automation Conference
San Fransisco, CA
Jun 3-7, 2012
Deadline: Dec 5, 2011 (Abstracts due: Nov 29, 2011)

ISCA'11 - Int'l Symposium Computer Architecture
Portland, OR
Jun 9-13, 2012

Back to Contents

Upcoming Funding Opportunities


Office of Naval Research (ONR) Sabbatical Leave Program
Deadline: N/A

Naval Research Laboratory (NRL) Postdoctoral Fellowship Program
Deadline: Continuous


Microsystems Technology Office-Wide Broad Agency - DARPA-BAA-10-35
Deadline: September 1, 2012


Robust Computational Intelligence - AFOSR-BAA-2011-01
Deadline: Continuous

Systems and Software - AFOSR-BAA-2011-01
Deadline: Continuous

ERDC BAA - Computational Science and Engineering (ITL-1)
Deadline: Continuous

Advanced Distributed Sensor Technologies - BAA 57-09-06
Deadline: Continuous

Information Management and Decision Architectures (NRL-WIDE BAA-N00173-01)
Deadline: Continuous

High Performance Computing on Massively Parallel Architectures (BAA 64-09-01)
Deadline: Continuous

ASEE-NRL Postdoctoral Fellowship Program
Deadline: N/A


Postdoctoral Appointments
Deadline: N/A

Sabbaticals and Faculty Appointments
Deadline: continuous

McDonnell Foundation

Studying Complex Systems - 21st Century Science Collaborative Activity Awards
Deadline: continuous


National Robotics Initiative (NRI)
Letter of Intent: December 15, 2011
Full Proposal Deadline: January 18, 2012

Industry/University Cooperative Research Centers Program (I/UCRC)
Letter of Intent Deadline Date: January 2, 2012
Full Proposal Deadline Date: March 6, 2012

Major Research Instrumentation Program
Full Proposal Deadline Date: January 26, 2012


Integrated Circuit and Systems Sciences (ICSS) - Integrated System Design
White Paper Deadline Date: January 25, 2012

Integrated Circuit and Systems Sciences (ICSS) - Circuit Design
White Paper Deadline Date: January 25, 2012

Back to Contents

Call for Papers: VLSI Design Journal Special Issue on New Algorithmic Techniques for EDA Problems

VLSI Design Journal Call for Papers (deadline Feb. 3, 2012):
Special Issue on New Algorithmic Techniques for EDA Problems

Please see for details.
The details are also given below.

Original papers are invited for a special issue of the VLSI Design
journal on "New Algorithmic Techniques in EDA". There are two broad
sets of effects that result from the rapidly decreasing feature sizes
in CMOS VLSI (ASICs, SoCs and microprocessor designs). (a) Significant
increase in the number and the diversity of systems that are
implemented on a single chip (b) Further exacerbation of old problems
and the introduction of new ones such as electrical/physical effects
like power dissipation and leakage/temperature issues at all levels,
lithography and manufacturing problems leading to appreciable
variability, and reliability of the design stemming from reduced
feature sizes, to name a few. These issues present significant
challenges to the entire range of EDA tools from ESL (e.g., memory
synthesis and hierarchy design, effective power analysis and
optimization) to gate-level synthesis (e.g., detailed power
optimization across millions of gates under timing yield and
voltage-island constraints). EDA software has thus become immensely
complex, and algorithmic innovations are needed to tackle these new
problems with efficiency and efficacy at various stages of the VLSI
design flow (e.g., ESL including high-level synthesis, logic/physical
synthesis, physical extraction and timing models,
variability/manufacturing aware optimization, simulation and analysis,
and verification).


We are thus asking for original paper submissions addressing critical
problems in EDA using effective algorithmic techniques that are either
new or uncommon in EDA. More formally put, the desired algorithmic
techniques are those that either (a) are completely new in their usage
in the EDA domain, or (b) have been proposed only over the last five
years or so or (c) have been proposed more than five years back, but
have been used sparsely in EDA. Potential algorithmic approaches
include, but are not limited to:

** Various polynomial time approximation schemes (e.g., PTAS, EPTAS, FPTAS)
** Randomized algorithms
** Discretized network flow (DNF)
** Multilevel techniques for scalability
** Parallel processing (especially for multicore CPU/GPU processors)
including concurrent data structures
** Metaheuristics, for example, tabu search, greedy randomized adaptive
search procedures (grasp), ant colony optimization, multistart methods,
and constraint satisfaction
** Machine learning and statistical techniques
** Data mining techniques

The proposed algorithms should empirically demonstrate efficacy in
solving the targeted EDA problems. When submitting your paper to this
special issue, please include a new section titled "New Algorithmic
Technique(s) Used" that immediately follows the "Introduction"
section, for an explicit identification of the algorithmic
technique(s) used, and a justification, possibly with citations, that
they fit into one of the above categories (a-c). Also, as with any
other journal publication, if the submission is an extension to a
conference paper, please also include a paragraph of justification in
the "Introduction" section (at least 30% new material is required).


Before submission authors should carefully read over the journal's Author
Guidelines, which are located at

Prospective authors should submit an electronic copy of their complete
manuscript through the journal Manuscript Tracking System at

according to the following timetable:


Manuscript Due Friday, 3 February 2012
First Round of Reviews Friday, 27 April 2012
Publication Date Friday, 22 June 2012


Lead Guest Editor:
Shantanu Dutt,, Department of ECE,
University of Illinois at Chicago, Chicago, IL, USA
Guest Editors:
Dinesh Mehta,, Department of EECS,
Colorado School of Mines, Golden, Co, USA
Gi-Joon Nam,, IBM Research Labs, Austin, TX, USA

Back to Contents

Call for Papers: International Symposium on Hardware-Oriented Security and Trust (HOST)

June 3-4, Moscone Center, San Francisco, CA
Held in conjunction with DAC-2012 (

Call for Papers

A wide range of applications, from secure RFID tagging to high-end
trusted computing, relies on dedicated and trusted hardware
platforms. The security and trustworthiness of such hardware designs
are critical to their successful deployment and operation. Recent
advances in tampering and reverse engineering show that important
challenges lie ahead. For example, secure electronic designs may be
affected by malicious circuits, Trojans that alter system
operation. Furthermore, dedicated secure hardware implementations are
susceptible to novel forms of attack that exploit side-channel leakage
and faults. Third, the globalized, horizontal semiconductor business
model raises concerns of trust and intellectual-property
protection. HOST 2012 is a forum for novel solutions to address these
challenges. Innovative test mechanisms may reveal Trojans in a design
before they are able to do harm. Implementation attacks may be
thwarted using side-channel resistant design or fault-tolerant
designs. New security-aware design tools can assist a designer in
implementing critical and trusted functionality, quickly and

The IEEE International Symposium on Hardware Oriented Security and
Trust seeks original contributions in the area of hardware-oriented
security. This includes tools, design methods, architectures, and
circuits. In addition, novel applications of secure hardware are
especially welcome. HOST 2012 seeks contributions based on, but not
limited to, the following topics.

* Trojan detection and isolation
* Implementation attacks and countermeasures
* Side channel analysis and fault analysis
* Intellectual property protection and metering
* Tools and methodologies for secure hardware design
* Hardware architectures for cryptography
* Hardware security primitives: PUFs and TRNGs
* Applications of secure hardware
* Interaction of secure hardware and software

To present at the symposium, submit an Acrobat (PDF) version of your
paper on the symposium submission website. The page limit is 6 pages,
double column, IEEE format, with a minimum font size of 10
points. Submissions must be anonymous and must not identify the
submitting authors, directly or indirectly, anywhere in the


Submission of Paper: January 20, 2012
Notification of Acceptance: March 23, 2012
Camera Ready Paper: April 13, 2012

Back to Contents

Call for Papers: TCAD Special Section on Three-dimensional Integrated Circuits and Microarchitectures

Special Section on Three-dimensional Integrated Circuits and Microarchitectures

In recent years, the area of three-dimensional (3D) Integrated
Circuits has become a very attractive research topic due to its
potential for extending MooreÕs momentum in the next decade. The key
benefits of 3D ICs over traditional two-dimensional chips include the
potential of reduced overheads for global interconnects, higher
packing densities and smaller footprints, heterogeneous integration,
and faster times-to-market. To efficiently exploit the benefits of 3D
technologies, design techniques and methodologies for supporting 3D
designs are imperative; design space exploration at the architectural
level is also essential to fully take advantage of the 3D integration
technologies to build a high- performance, energy-efficient integrated
systems, GPUs, system-on-chips, heterogeneous systems, and other
integrated systems.

We are pleased to announce a call for papers for a special section of
TCAD on Three-dimensional (3D) Integrated Circuits. We welcome
submissions to this special section based on new, unpublished
contributions. Submissions may also be based on work previously
published in refereed conferences/workshops; if so, the submission
must contain at least 30% new materials, and the authors must provide
a cover letter clearly stating how the submission differs from and/or
expands on the previously-published work.

Areas of interest for this special section include (but are not limited to) the
following topics:

* Physical design methodologies/tools/algorithms for 3D
* High-level synthesis/logic synthesis for 3D ICs
* ESL design methodologies and tools for 3D ICs
* Thermal analysis and thermal-aware designs
* 3D architectures and design space exploration
* 3D Test, design-for-test, and debug techniques
* Signal and power integrity, and ESD in 3D
* Chip-package co-design for 3D
* Economic benefit/cost trade-off studies
* Application, product, or test-chip case studies

Please submit your paper at the TCAD website,

Please specify "Special Section on 3D ICs and Microarchitectures" on
your cover page and in the notes section of the Web site submission


Submission Deadline: 15 March 2012
Acceptance Notice: 1 July 2012
Final Manuscript Due: 1 August 2012


Yuan Xie, Pennsylvania State University,
Gabriel H. Loh, AMD Research.

Back to Contents

Call for Papers: International Conference on Formal Methods and Models for Codesign (MEMOCODE)

ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign


Arlington, Virginia
July 16-18, 2012

The goal of MEMOCODE 2012, the tenth in a series of successful
international conferences, is to gather researchers and practitioners
in the field of the design of modern hardware and software system to
explore ways in which future design methods can benefit from new
results on formal methods.


Abstract submission deadline: March 2, 2012
Paper submission deadline: March 9, 2012
Notification of acceptance: May 4, 2012
Final Version for Papers: May 18, 2012

Hardware-software systems face increasing design complexity including
tighter constraints on timing, power, costs, and reliability. MEMOCODE
seeks submissions that present novel formal methods and design
techniques addressing these issues to create, refine, and verify
hardware/software systems. We also invite application-oriented papers,
and especially encourage submissions that highlight the design
perspective of formal methods and models, including success stories
and demonstrations of hardware/software codesign. Furthermore, we
invite poster presentations describing ongoing work with promising
preliminary results.

Topics of interest for regular submissions include but are not limited

* system- and transaction-level modeling and verification, abstraction
and refinement between different modeling levels, formal,
semi-formal, and specification-driven verification,

* design and verification methods for composition of concurrent
systems: multi-core platform architectures, systems-on-chip,

* formal methods and tools for hardware and software verification
including theorem proving, decision procedures,

* non-traditional and domain-specific design languages for hardware
and software, novel models of computation, and new design paradigms
that unify hardware and software design,

* system-level estimation of performance and power in heterogeneous
hardware/software architectures,

* applications and demonstrators of formal design methodologies and
case studies of innovative system-level design flows,

* modeling and reuse of intellectual property at system-level, and

* design abstraction and high-level design demonstrating productivity
and quality in generating and validating RTL and software.


Conference proceedings will be published by the IEEE Computer Society.


Submissions of research and experience papers will only be accepted
through the conference website. Papers must not exceed 10 pages and
must be formatted following IEEE Computer Society guidelines.
Submissions must be written in English, describe original work, and
not substantially overlap papers that have been published or are being
submitted to a journal or another conference with published
proceedings. Poster submissions should consist of an abstract of at
most 250 words. The abstract will be distributed to the conference
attendants but will not be published. Note that the poster deadline is
different from the paper deadline.



MEMOCODE will again have a design contest. The contest will start
March 1, 2012. The deadline for submission is 31 March 2012 and the
notification of the results is on May 13, 2012. The conference will
sponsor at least two prize categories, each with a significant cash
award. In past editions we awarded a $1000 prize in each of the two
categories. Each team that submits a complete and working entry will
be invited to submit for review a 2-page abstract for the formal
conference proceedings and present a poster at the conference; winning
teams will be invited to contribute a 4-page short paper and present
their work at the conference. Each team submitting a completed and
working entry will also receive a commemorative plaque with their name
and results. Please refer to the website for more information and




General Chair
Sandeep Shukla (Virginia Tech)

Program Chairs
Luca Carloni (Columbia)
Daniel Kroening (Oxford)

Design Contest Chair
Stephen Edwards (Columbia)

Finance Chair
James Hoe (CMU)

Publication Chair
Jens Brandt (TU Kaiserslautern)


Roderick Bloem (Graz)
Luca Carloni (Columbia)
Abhijit Davare (Intel)
Robert de Simone (INRIA)
Stephen A. Edwards (Columbia)
Franco Fummi (Verona)
Thierry Gautier (INRIA)
Alain Girault (INRIA)
David Greaves (Cambridge)
Daniel Grosse (Bremen)
Connie Heitmeyer (NRL)
Franjo Ivancic (NEC Labs)
Barbara Jobstmann (CNRS)
Michael Kishinevsky (Intel)
Christoph Kirsch (Salzburg)
Daniel Kroening (Oxford)
Luciano Lavagno (Torino)
Elizabeth Leonard (NRL)
John O'Leary (Intel)
Philip Ruemmer (Uppsala)
Klaus Schneider (Kaiserslautern)
Satnam Singh (Google)
Jean-Pierre Talpin (INRIA)
Michael Theobald (D. E. Shaw)
Shobha Vasudevan (UIUC)
Thomas Wahl (Northeastern)
Fei Xie (Portland)
Qi Zhu (UC Riverside)


Arvind (MIT)
Masahiro Fujita (University Tokyo)
Rajesh Gupta (UC San Diego)
Connie Heitmeyer (NRL)
James Hoe (CMU)
Sandeep Shukla (Virginia Tech)
Jean-Pierre Talpin (INRIA)

Back to Contents

Call for Papers: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)


RTCSA 2012
The 18th IEEE International Conference on Embedded and Real-Time
Computing Systems and Applications

August 20 - 22, 2012
Seoul, Korea

SUBMISSION DEADLINE: Apr 16, 2012, 12:00 (noon) GMT+9

Embedded software has become a necessity in almost every aspect of the
daily lives of individuals and organizations, from self-contained
applications to those embedded in various devices and services (mobile
phones, vital sign sensors, medication dispensers, home appliances,
engine ignition systems, etc). A large proportion of these systems
are mission/life critical and performance sensitive.

The 18th IEEE International Conference on Embedded and Real-Time
Computing Systems and Applications (RTCSA 2012) will bring together
researchers and developers from academia and industry for advancing
the technology of embedded and real-time systems, and ubiquitous
computing applications. The conference has the following goals: to
investigate advances in embedded and real-time systems and ubiquitous
computing applications; to promote interaction among the areas of
embedded computing, real-time computing and ubiquitous computing; to
evaluate the maturity and directions of embedded and real-time system
and ubiquitous computing technology. RTCSA 2012 invites submissions
of papers presenting a high quality original research and development
for the conference tracks: (1) Embedded Systems, (2) Real-time
Systems, and (3) Ubiquitous Computing/Cyber-physical Systems.

SCOPES: Following the tradition of RTCSA, the conference has three
tracks: embedded systems, real-time systems, and ubiquitous computing.
The topics of interest include, but are not limited to:

- System level design and HW/SW co-design
- Embedded system design practices
- Operating systems and scheduling
- Software and compiler issues for heterogeneous multi-core embedded
- Embedded system architecture
- Networks-on-chip design
- Power/thermal-aware design issues
- Memory issues for multi-core embedded platform
- Hardware and software techniques for fault tolerance
- Reconfigurable computing architecture and software support

- Real-time operating systems
- Real-time scheduling
- Timing analysis
- Databases
- Programming languages and run-time systems
- Middleware systems
- Design and analysis tools
- Communication networks and protocols
- Case studies and applications
- Media processing and transmissions
- Real-time aspects of Wireless sensor networks
- Energy aware real-time methods


- Real-time issues in ubiquitous computing and cyber-physical systems
- Tools, infrastructures and architectures for ubiquitous computing
and cyber-physical systems
- Devices and enabling technologies for ubiquitous computing and
cyber-physical systems
- Design and verification methodologies for cyber-physical systems
- Applications of wireless sensor networks
- Ubiquitous computing applications
- Cyber-physical systems applications
- User interfaces and interaction design issues for ubiquitous computing
- Privacy and security issues and implications of ubiquitous computing
- Location-dependent and context-aware computing
- Evaluation methods for ubiquitous computing devices, systems, and

Regular Paper Submission:

The submitted manuscript must describe original work not previously
published and not concurrently submitted elsewhere. Submissions
should be no more than 10 pages in IEEE conference proceedings format
(two-column, single-space, 10pt). The prospective authors should
submit their papers on RTCSA 2012 paper submission site: (in preparation for now)

Work-in-Progress Session:

This session provides an opportunity for researchers attending RTCSA
to present and discuss their research. This one hour event will
feature concurrent short presentations by all participants organized
in poster formats. More detailed information is available on the web.


Paper Submission: Apr 16, 2012, 12:00 (noon) GMT+9
Acceptance Notification: May 23, 2012
Camera Ready Submission: June 3, 2012

WIP Abstract Submission: June 18, 2012
WIP Notification: June 22, 2012
WIP Camerca Ready Submission: July 13, 2012

Early Registration Deadline: June 24, 2012


Steering Committee:
Tatsuo Nakajima, Waseda University, Japan (Chair)
Tei-Wei Kuo, National Taiwan University, Taiwan
Joseph K. Ng, Hong Kong Baptist University, China
Hide Tokuda, Keio University, Japan
Seongsoo Hong, Seoul National University, Korea
Sang H. Son, University of Virginia, USA

General Co-Chairs:
Yunheung Paek, Seoul National University, Korea
Jorgen Hansson, Chalmers University, Sweden

Program Co-Chairs:
Real-Time Systems: Steve Goddard, University of Nebraska-Lincoln, USA
Ubiquitous Comp/Cyber-Physical Systems: Chin-Fu Kuo, National University
of Kaohsiung, Taiwan
Embedded Systems: Jongeun Lee, UNIST, Korea

WIP Chair:
Chang-gun Lee, Seoul National University, Korea
Shinpei Kato, UC Santa Cruz, USA

Financial Chair:
Hyeonsang Eom, Seoul National University, Korea

Local Arrangement Chair:
Sung-Soo Lim, Kookmin University, Korea

Publication Chair:
Jangwoo Kim, Postech, Korea

Web Chair:
Neungsoo Park, Kunkuk University, Korea

Publicity Co-Chairs:
Thomas Nolte, Malardalen University, Sweden (Europe)
Yoshinori Takeuchi, Osaka University, Japan (Asia)
Sudeep Pasricha, Colorado State University, USA (USA)

Back to Contents

Notice to Authors

Notice to Authors By submitting your article for distribution in this Special Interest Group publication, you hereby grant to ACM the following non-exclusive, perpetual, worldwide rights: to publish in print on condition of acceptance by the editor; to digitize and post your article in the electronic version of this publication; to include the article in the ACM Digital Library and in any Digital Library related services; and to allow users to make a personal copy of the article for noncommercial, educational or research purposes. However, as a contributing author, you retain copyright to your article and ACM will refer requests for republication directly to you.

This newsletter is a free service for current SIGDA members and is added automatically with a new SIGDA membership.
Circulation: 2,700
This ACM/SIGDA E-NEWSLETTER is being sent to all persons on the ACM/SIGDA mailing list. To unsubscribe, send an email to with "signoff sigda-announce" (no quotes) in the body of the message. Please make sure to send your request from the same email as the one by which you are subscribed to the list.