Go to
Mathias Soeken
The fascinating properties of MAJority
Post doctoral researcher
Integrated Systems Laboratory
EPFL
Thursday, 28 September 2017 at 11:40 in room BC 420
Abstract:
The ternary majority function has fascinated researchers in computer science and mathematics for many decades. This is due to its fascinating properties, which are discovered and rediscovered again and again over the years. The majority function evaluates to true if two or three of its arguments evaluate to true. Together with inversion, it supports a complete axiomatic system which makes it particularly interesting in logic optimisation. In the talk we will stop over at various corners in the history of majority logic synthesis. The descriptions include synthesis algorithms, function decompositions, and a card trick that was used by Ea Ea (formerly Craige Schensted) to raise the interest for majority logic to Martin Gardner in one of their letter exchanges.
About the speaker:
Mathias Soeken works as a researcher at the Integrated Systems Laboratory at EPFL, Lausanne, Switzerland in the group of Giovanni De Micheli. From 2009 to 2015 he worked at the University of Bremen, Germany in the group of Rolf Drechsler. Since 2014, he is a regularly visiting post doc at UC Berkeley, CA, USA in the group of Robert K. Brayton. He holds a Ph.D. degree (Dr.-Ing.) in Computer Science from University of Bremen, Germany (2013). His research interests are logic synthesis, reverse engineering, formal verification, and quantum computing.
Secondary navigation
- EPFL Workshop on Logic Synthesis and Emerging Technologies
- Luca Amaru
- Luca Benini
- Giovanni De Micheli
- Srini Devadas
- Antun Domic
- Rolf Drechsler
- Pierre-Emmanuel Gaillardon
- Jie-Hong Roland Jiang
- Akash Kumar
- Shahar Kvatinsky
- Yusuf Leblebici
- Shin-ichi Minato
- Alan Mishchenko
- Vijaykrishnan Narayanan
- Ian O'Connor
- Andre Inacio Reis
- Martin Roetteler
- Julien Ryckaert
- Mathias Soeken
- Christof Teuscher
- Zhiru Zhang
- Symposium on Emerging Trends in Computing
- Layout synthesis: A golden DA topic
- EPFL Workshop on Logic Synthesis & Verification
- Luca Amaru
- Luca Benini
- Robert Brayton
- Maciej Ciesielski
- Valentina Ciriani
- Jovanka Ciric-Vujkovic
- Jason Cong
- Jordi Cortadella
- Giovanni De Micheli
- Antun Domic
- Rolf Drechsler
- Henri Fraisse
- Paolo Ienne
- Viktor Kuncak
- Enrico Macii
- Igor Markov
- Steven M. Nowick
- Tsutomu Sasao
- Alena Simalatsar
- Leon Stok
- Dirk Stroobandt
- Tiziano Villa
- Symposium on Emerging Trends in Electronics
- Raul Camposano
- Anantha Chandrakasan
- Jo De Boeck
- Gerhard Fettweis
- Steve Furber
- Philippe Magarshack
- Takayasu Sakurai
- Alberto Sangiovanni-Vincentelli
- Ken Shepard
- VENUE
- Panel on Circuits in Emerging Nanotechnologies
- Panel on Emerging Methods of Computing
- Panel on The Role of Universities in the Emerging ICT World
- Panel on Design Challenges Ahead
- Panel on Alternative Use of Silicon
- Nano-Bio Technologies for Lab-on-Chip
- Functionality-Enhanced Devices Workshop
- More Moore: Designing Ultra-Complex System-on-Chips
- Design Technologies for a New Era
- Nanotechnology for Health
- Secure Systems Design
- Surface Treatments and Biochip Sensors
- Security/Privacy of IMDs
- Nanosystem Design and Variability
- Past Events Archive
On-Line Registration
Workshop registration is mandatory but free of charge. Please click here to go to the on-line registration form.
Thank you very much for your interest in our workshop. Registration is now closed.
Downloads
Presentation slides:
Venue
All talks will take place at EPFL room BC 420. Please click here to go to the interactive EPFL map.