Co-located with the
Design Automation Conference

27th International Workshop
on Logic & Synthesis

June 23 – 24, 2018

Moscone Center West — San Francisco, CA

Moscone Center

Our sponsors


The International Workshop on Logic and Synthesis is the premier forum for research in synthesis, optimization, and verification of integrated circuits and systems. Research on logic synthesis for emerging technologies and for novel computing platforms, such as nanoscale systems and biological systems, is also strongly encouraged. The workshop encourages early dissemination of ideas and results. The workshop accepts complete papers highlighting important new problems in the early stages of development, without providing complete solutions. The emphasis is on novelty and intellectual rigor.

Topics of interest include, but are not limited to: hardware synthesis and optimization; software synthesis; hardware/software co-synthesis; power and timing analysis; testing, validation and verification; synthesis for reconfigurable architectures; hardware compilation for domain-specific languages; design experiences. Submissions on modeling, analysis and synthesis for emerging technologies and platforms are particularly encouraged.

The workshop format includes paper presentations, posters, invited talks, social lunch and dinner gatherings, and recreational activities. Accepted papers are distributed exclusively to IWLS participants.

Important Dates

It is mandatory to register a paper by submitting an abstract before the deadline below.

Paper abstract submission: March 4, 2018
Full paper submission: March 11, 2018 @ 11.59pm Anywhere on Earth
Notification of acceptance: April 15, 2018
Final version due: May 13, 2018

The submission deadline is final. There will be no extension.

Submission instructions

Only complete papers with original and previously unpublished material are permitted. Submissions must be no longer than 8 pages, double column, 10-point font. Accepted papers are distributed only to IWLS participants.

EasyChair IWLS 2018 submission page

IWLS 2018 Programming Contest: "All the Best!"

In 2018, the IWLS organizing committee set up a programming contest. To participate, please follow these steps:

  1. Read the contest description.

  2. Write a computer program that takes as input a truth table in hexadecimal representation, a number of fanins k, and a number of gates r, that generates a BLN file as explained in the contest description. For example to synthesize the majority-of-three function as 4-gate circuits with 2-input gates, the program is called: "program 8e 2 4".

  3. We will publish the contest benchmark functions on April 27, 2018. These will be used to evaluate your algorithms.

  4. You need to submit your binary or source code and the resulting BLN files for the contest benchmarks until May 4, 2018. Please send everything via email to Mathias Soeken. We must be able to reproduce your results on our machines within a timeout of 60 minutes.

  5. We will submit the generated BLN files from your submissions until May 11, 2018 and announce all the results on this webpage.

  6. The submissions are rated according to the number of found solutions within the runtime limit of one hour. If for some benchmark a wrong solution is reported (i.e., it computes the wrong function or it does not respect the normalization rules), the overall count for that benchmark is halved for each wrong solution. (Example: If 3 wrong solutions are found, only 12.5% of the overall count will be considered in the final evaluation.)

  7. You are encouraged to share your source code with the IWLS community, but it's not required or has any effect on the rating. If you want to share, you can either point us to an online repository that we will link to this and the IWLS webpage. If you prefer to share the source code only among the IWLS participants, we will copy your code onto the proceeding pen drives.

Organizing Committee

General Chair Robert Wille Johannes Kepler University Linz, Austria
Program Committee Chair Jie-Hong Roland Jiang National Taiwan University, Taiwan
Special Session & Contest Chair Mathias Soeken EPFL, Switzerland
Finance Chair Pierre-Emmanuel Gaillardon University of Utah, USA
Publicity Chair Luca Amaru Synopsys, USA
Local Chair Vinicius Callegaro Mentor Graphics, USA

Steering Committee

Jie-Hong Roland Jiang National Taiwan University, Taiwan
Rolf Drechsler University of Bremen/DFKI GmbH, Germany
Andre Reis UFRGS, Brazil
Dirk Stroobandt Ghent University, Belgium
Alan Mishchenko University of California Berkeley, US

Technical Program Committee

L. Amaru Synopsys, USA V. Callegaro Mentor Graphics, USA
K.-H. Chang Avery Design Systems, USA M. Choudhury IBM T. J. Watson, USA
E. Dubrova KTH, Sweden R. Drechsler University of Bremen, Germany
S. A. Edwards Columbia University, USA M. Fujita University of Tokyo, Japan
P.-E. Gaillardon University of Utah, USA B. Ghavami Shahid Bahonar U. of Kerman, Iran
P. Ienne EPFL, Switzerland I.H.-R. Jiang National Taiwan University, Taiwan
J.-H.R. Jiang National Taiwan University, Taiwan V. Kravets IBM T. J. Watson, USA
F. Marranghello KTH, Sweden M. Martins Carnegie Mellon University, USA
J. Matos Nangate, USA A. Mishchenko UC Berkeley, USA
A. Neutzling Cadence, UK M. Purnaprajna Amrita University, India
W. Qian Shanghai Jiao Tong U., China A. Reis UFRGS, Brazil
T. Sasao Meiji University, Japan M. Soeken EPFL, Switzerland
D. Stroobandt Ghent University, Belgium T. Villa Universita di Verona, Italy
R. Wille Johannes Kepler U., Austria C. Yu EPFL, Switzerland
Z. Zhang Cornell University, USA S. Das Xilinx Inc., USA


The IWLS community maintains a set of logic synthesis benchmarks (IWLS'05 and EPFL), available in various formats.

Links to Past Workshops

IWLS 2017: June 17 - June 18, 2017, Austin, Texas

IWLS 2016: June 10 - June 11, 2016, Austin, Texas

IWLS 2015: June 12 - June 13, 2015, Mountain View, California

IWLS 2014: May 30 - June 1, 2014, San Francisco, California

IWLS 2013: June 7 - June 8, 2013, Austin, Texas

IWLS 2012: June 1 - June 3, 2012, Berkeley, California

IWLS 2011: June 3 - June 5, 2011, San Diego, California

IWLS 2010: June 18 - June 20, 2010, Irvine, California

IWLS 2009: July 31 - August 2, 2009, Berkeley, California

IWLS 2008: June 4 - 6, 2008, Lake Tahoe, California

IWLS 2007: May 30 - June 1, 2007, San Diego, California

IWLS 2006: June 7 - 9, 2006, Vail, Colorado

IWLS 2005: June 8 - 10, 2005, Lake Arrowhead, California

IWLS 2004: June 2 - 4, 2004, Temecula Creek, California

IWLS 2003: May 28 - 30, 2003, Laguna Beach, California

IWLS 2002: June 4 - 7, 2002, New Orleans, Louisiana

IWLS 2001: June 12 - 15, 2001, Lake Tahoe, California

IWLS 2000: May 31 - June 2, 2000, Dana Point, California

Mailing List

Subscribe to the IWLS mailing list. (The list is hidden and only its administrator can post to it.)

Related Conferences