Publications

2020

Journal Articles

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism

W. Haaswijk; M. Soeken; A. Mishchenko; G. De Micheli 

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020-04-01. Vol. 39, num. 4, p. 871-884. DOI : 10.1109/TCAD.2019.2897703.

Boolean satisfiability in quantum compilation

M. Soeken; G. Meuli; B. Schmitt; F. Mozafari; H. Riener et al. 

Philosophical Transactions Of The Royal Society A-Mathematical Physical And Engineering Sciences. 2020-02-07. Vol. 378, num. 2164, p. 20190161. DOI : 10.1098/rsta.2019.0161.

Multi-Channel Front-End for Electrochemical Sensing of Metabolites, Drugs, and Electrolytes

M. I. Ny Hanitra; F. Criscuolo; N. Pankratova; S. Carrara; G. De Micheli 

IEEE Sensors Journal. 2020. Vol. 20, num. 7, p. 3636-3645. DOI : 10.1109/JSEN.2019.2959885.

2019

Journal Articles

LUT-Based Hierarchical Reversible Logic Synthesis

M. Soeken; M. Roetteler; N. Wiebe; G. De Micheli 

Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems. 2019-09-01. Vol. 38, num. 9, p. 1675-1688. DOI : 10.1109/TCAD.2018.2859251.

Devices and Circuits Using Novel 2-D Materials: A Perspective for Future VLSI Systems

G. V. Resta; A. Leonhardt; Y. Balaji; S. De Gendt; P-E. Gaillardon et al. 

Ieee Transactions On Very Large Scale Integration (Vlsi) Systems. 2019-07-01. Vol. 27, num. 7, p. 1486-1503. DOI : 10.1109/TVLSI.2019.2914609.

Fast Procedures for the Electrodeposition of Platinum Nanostructures on Miniaturized Electrodes for Improved Ion Sensing

F. Criscuolo; I. Taurino; V. A. Dam; F. Catthoor; M. Zevenbergen et al. 

Sensors. 2019-05-16. Vol. 19, num. 10, p. 2260. DOI : 10.3390/s19102260.

Multi-panel, on-single-chip Memristive Biosensing

I. Tzouvadaki; A. Tuoheti; S. Lorrain; M. Quadroni; M-A. Doucey et al. 

IEEE Sensors Journal. 2019-03-12.  p. 1-1. DOI : 10.1109/JSEN.2019.2904393.

Memristive Biosensors based on Full-size Antibodies and Antibody Fragments

I. Tzouvadaki; J. Zapatero-Rodríguez; S. Naus; G. de Micheli; R. O’Kennedy et al. 

Sensors and Actuators B: Chemical. 2019. Vol. 276, p. 346-352. DOI : 10.1016/j.snb.2019.02.001.

Conference Papers

Flexible sweat sensors for non-invasive optimization of lithium dose in psychiatric disorders

F. Criscuolo; F. Cantù; I. Taurino; S. Carrara; G. De Micheli 

2019-10-27. IEEE Sensors 2019, Montreal, Canada, October 27-30, 2019.

AdaptHD: Adaptive Efficient Training for Brain-Inspired Hyperdimensional Computing

M. Imani; J. Morris; S. Bosch; H. Shu; G. De Micheli et al. 

2019-10-17. BioCAS 2019, Nara, Japan, October 17-19, 2019.

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

M. Soeken; E. Testa; D. M. Miller; G. De Micheli 

2019-08-21. 2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, Victoria, Canada, August 21-23, 2019.

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

H. Riener; W. Haaswijk; A. Mishchenko; G. De Micheli; M. Soeken 

2019-07-23. Design, Automation & Test in Europe Conference & Exhibition, Florence, Italy, Mar 25-29, 2019. p. 1649-1654. DOI : 10.23919/DATE.2019.8715185.

Multi-Target Electrolyte Sensing Front-End for Wearable Physical Monitoring

M. I. Ny Hanitra; F. Criscuolo; S. Carrara; G. De Micheli 

2019-07-15. 2019 15Th Conference On Phd Research In Microelectronics And Electronics (Prime), Lausanne, Switzerland, July 15-18, 2019. p. 249-252.

ROS : Resource Constrained Oracle Synthesis for Quantum Computers

G. Meuli; M. Soeken; M. Roetteler; G. De Micheli 

2019-06-21. 28th International Workshop on Logic & Synthesis (IWLS 2019), Lausanne, Switzerland, June 21-23, 2019.

The Complexity of Self-Dual Monotone 7-Input Functions

E. Testa; W. J. Haaswijk; M. Soeken; G. De Micheli 

2019-06-21. 28th International Workshop on Logic & Synthesis (IWLS 2019), Lausanne, Switzerland, June 21-23, 2019.

Evaluating ESOP Optimization Methods in Quantum Compilation Flows

G. Meuli; B. Schmitt Antunes; R. Ehlers; H. Riener; G. De Micheli 

2019-06-17. 11th International Conference on Reversible Computing, Lausanne, Switzerland, June 24-25, 2019. p. 191-206. DOI : 10.1007/978-3-030-21500-2_12.

All-solid-state Reference Electrodes for analytical applications

F. Criscuolo; M. Galfione; S. Carrara; G. De Micheli 

2019-06-13. IWASI 2019, Otranto, Italie, June 13-14, 2019.

Using ZDDs in the mapping of quantum circuits

K. Smith; M. Soeken; B. Schmitt Antunes; G. De Micheli 

2019-06-10. QPL 2019, Orange, CA, USA, June 10-14, 2019.

Resource constrained oracle synthesis for quantum circuits

G. Meuli; M. Soeken; M. Roetteler; G. De Micheli 

2019-06-10. QPL 2019, Orange, CA, USA, June 10-14, 2019.

Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications

E. Testa; M. Soeken; L. G. Amarù; G. De Micheli 

2019-06-06. DAC19, Las Vegas, June 2-6, 2019.

Logic Optimization of Majority-Inverter Graphs

H. Riener; E. Testa; W. J. Haaswijk; L. G. Amarù; Mishchenko Alan et al. 

2019-04-08. 22. Workshop MBMV 2019, Kaiserslautern, Germany, April 8-9, 2019.

Reversible Pebbling Game for Quantum Memory Management

G. Meuli; M. Soeken; M. Roetteler; N. Bjorner; G. De Micheli 

2019-03-25. Design, Automation & Test in Europe Conference & Exhibition, Firenze, Italy, March 25-29, 2019.

Mixed Gold and Platinum Nanostructured Layers for All-Solid-State Ion Sensors

F. Criscuolo; L. Lobello; I. Taurino; D. Demarchi; S. Carrara et al. 

2019-01-31. IEEE Sensors 2018 Conference, New Delhi, India, 28-31 Oct. 2018. DOI : 10.1109/ICSENS.2018.8630299.

Structural Rewriting in XOR-Majority Graphs

Z. Chu; M. Soeken; Y. Xia; L. Wang; G. De Micheli 

2019-01-01. 24th Asia and South Pacific Design Automation Conference (ASP-DAC), Tokyo, JAPAN, Jan 21-24, 2019. p. 663-668. DOI : 10.1145/3287624.3287671.

Reversible Pebble Games For Reducing Qubits In Hierarchical Quantum Circuit Synthesis

D. Bhattacharjee; M. Soeken; S. Dutta; A. Chattopadhyay; G. De Micheli 

2019-01-01. 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, CANADA, May 21-23, 2019. p. 102-107. DOI : 10.1109/ISMVL.2019.00026.

Scaling-up ESOP Synthesis for Quantum Compilation

B. Schmitt; M. Soeken; G. De Micheli; A. Mishchenko 

2019-01-01. 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, CANADA, May 21-23, 2019. p. 13-18. DOI : 10.1109/ISMVL.2019.00011.

Direct and catalyst-free growth of vertically-stacked graphene-based structures for enhanced drug sensing

L. Tzouvadaki; N. Aliakbarinodehi; D. D. Pineda; G. De Micheli; S. Carrara 

2019-01-01. IEEE International Symposium on Circuits and Systems (IEEE ISCAS), Sapporo, JAPAN, May 26-29, 2019.

Scalable Boolean Methods in a Modem Synthesis Flow

E. Testa; L. Amaru; M. Soeken; A. Mishchenko; P. Vuillod et al. 

2019-01-01. Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, ITALY, Mar 25-29, 2019. p. 1643-1648.

Compiling Permutations for Superconducting QPUs

M. Soeken; F. Mozafari; B. Schmitt; G. De Micheli 

2019-01-01. Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, ITALY, Mar 25-29, 2019. p. 1349-1354.

Exact Synthesis of Boolean Functions in Majority-of-five Forms

Z. Chu; W. J. Haaswijk; M. Soeken; L. Wang; Y. Xia et al. 

2019. 2019 IEEE International Symposium on Circuits and System (ISCAS), Sapporo, Japan, May 26-29, 2019.

Book Chapters

Exact Synthesis of ESOP Forms

H. Riener; R. Ehlers; B. Schmitt Antunes; G. De Micheli 

Advanced Boolean Techniques. Selected Papers from the 13th International Workshop on Boolean Problems; Springer, 2019-07-09. p. 177-194.

2018

Journal Articles

FPGA-SPICE: A Simulation-Based Architecture Evaluation Framework for FPGAs

X. Tang; E. Giacomin; G. De Micheli; P-E. Gaillardon 

IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 2018-12-14.  p. 1-14. DOI : 10.1109/TVLSI.2018.2883923.

Mapping Monotone Boolean Functions into Majority

E. Testa; M. Soeken; L. Amaru; W. Haaswijk; G. De Micheli 

IEEE Transactions on Computers. 2018-11-14.  p. 1-1. DOI : 10.1109/TC.2018.2881245.

Highly-stable Li + ion-selective electrodes based on noble metal nanostructured layers as solid-contacts

F. Criscuolo; I. Taurino; F. Stradolini; S. Carrara; G. De Micheli 

Analytica Chimica Acta. 2018-10-16. Vol. 1027, p. 22-32. DOI : 10.1016/j.aca.2018.04.062.

Logic Synthesis for Established and Emerging Computing

E. Testa; M. Soeken; L. G. Amaru; G. De Micheli 

Proceedings of the IEEE. 2018-10-01.  p. 1-20. DOI : 10.1109/JPROC.2018.2869760.

Cleaning strategy for carbon-based electrodes: Long-term propofol monitoring in human serum

F. Stradolini; T. Kilic; I. Taurino; G. De Micheli; G. Boero 

Sensors and Actuators B: Chemical. 2018-09-15. Vol. 269, p. 304-313. DOI : 10.1016/j.snb.2018.04.082.

An IoT Solution for Online Monitoring of Anesthetics in Human Serum Based on an Integrated Fluidic Bioelectronic System

F. Stradolini; A. Tuoheti; T. Kilic; S. L. Ntella; N. Tamburrano et al. 

IEEE Transactions on Biomedical Circuits and Systems. 2018-08-31.  p. 01-09. DOI : 10.1109/TBCAS.2018.2855048.

Pairs of majority-decomposing functions

M. Soeken; E. Testa; A. Mishchenko; G. De Micheli 

Information Processing Letters. 2018-07-10. Vol. 139, p. 35-38. DOI : 10.1016/j.ipl.2018.07.004.

Doping-Free Complementary Logic Gates Enabled by Two-Dimensional Polarity-Controllable Transistors

G. V. Resta; Y. Balaji; D. Lin; I. P. Radu; F. Catthoor et al. 

ACS Nano. 2018-06-29. Vol. 12, num. 7, p. 7039-7047. DOI : 10.1021/acsnano.8b02739.

Post-P&R Performance and Power Analysis for RRAM-based FPGAs

X. Tang; E. Giacomin; G. De Micheli; P-E. Gaillardon 

IEEE Journal on Emerging and Selected Topics in Circuits and Systems. 2018-06-14.  p. 1-1. DOI : 10.1109/JETCAS.2018.2847600.

Towards Ultrasound Everywhere: A Portable 3D Digital Back-End Capable of Zone and Compound Imaging

A. Ibrahim; S. Zhang; F. Angiolini; M. Arditi; S. Kimura et al. 

IEEE Transactions on Biomedical Circuits and Systems. 2018-06-04. Vol. 12, num. 5, p. 968-981. DOI : 10.1109/TBCAS.2018.2828382.

Graphene nanowalls for high-performance chemotherapeutic drug sensing and anti-fouling properties

I. Tzouvadaki; N. Aliakbarinodehi; D. Dávila Pineda; G. De Micheli; S. Carrara 

Sensors and Actuators B: Chemical. 2018-06-01. Vol. 262, p. 395-403. DOI : 10.1016/j.snb.2018.02.036.

Performance of Carbon Nano-Scale Allotropes in Detecting Midazolam and Paracetamol in Undiluted Human Serum

N. Aliakbarinodehi; F. Stradolini; S. A. Nakhjavani; I. Tzouvadaki; I. Taurino et al. 

IEEE Sensors Journal. 2018-04-20. Vol. 18, num. 12, p. 5073-5081. DOI : 10.1109/JSEN.2018.2828416.

Conformal Deposition of Conductive Single-Crystalline Cobalt Silicide Layer on Si Wafer via a Molecular Approach

T-H. Lin; T. Margossian; L-Q. Zheng; S. Kumar; I. Marozau et al. 

Chemistry of Materials. 2018-02-21. Vol. 30, num. 6, p. 2168-2173. DOI : 10.1021/acs.chemmater.8b00701.

Long-term Monitoring of Propofol and Fouling Effect on Pencil Graphite Electrodes

F. Stradolini; T. Kilic; A. Di Consiglio; M. Ozsoz; G. De Micheli et al. 

ELECTROANALYSIS. 2018. Vol. 30, num. 7, p. 1363-1369. DOI : 10.1002/elan.201700834.

An FPGA-Based Test System for RRAM Technology Characterization

A. Biscontini; M. Thammasack; G. De Micheli; P-E. Gaillardon 

IEEE Transactions on Nanotechnology. 2018-01-01. Vol. 17, num. 1, p. 177-183. DOI : 10.1109/TNANO.2017.2784363.

Highly sensitive enzymatic MWCNTs-based biosensors for detection of abiraterone in human serum

N. Aliakbarinodehi; G. De Micheli; S. Carrara 

BioNanoScience. 2018. Vol. 8, num. 2, p. 675-679. DOI : 10.1007/s12668-017-0393-3.

Conference Papers

Doping-free complementary inverter enabled by 2D WSe2 electrostatically-doped reconfigurable transistors

G. V. Resta; Y. Balaji; D. Lin; I. P. Radu; F. Catthoor et al. 

2018-08-23. 2018 76th Device Research Conference (DRC), Santa Barbara, CA, USA, USA, 24-27 June 2018. p. 1-2. DOI : 10.1109/DRC.2018.8442152.

A Flexible Front-End for Wearable Electrochemical Sensing

M. I. Ny Hanitra; L. Lobello; F. Stradolini; A. Tuoheti; F. Criscuolo et al. 

2018-08-20. 2018 IEEE International Symposium on Medical Measurements and Applications (MeMeA), Rome, Italy, June 11-13, 2018. p. 558-563. DOI : 10.1109/MeMeA.2018.8438787.

A novel electrochemical sensor for non-invasive monitoring of lithium levels in mood disorders

F. Criscuolo; I. Taurino; S. Carrara; G. De Micheli 

2018-07-21. 40th International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Honolulu, Hawaii, USA, July 17-21, 2018.

Nonsilicon, Non-von Neumann Computing—Part I

S. Basu; R. E. Bryant; G. De Micheli; T. Theis; L. Whitman 

2018-07-19.  p. 11-18. DOI : 10.1109/JPROC.2018.2884780.

Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model

C. Yu; H. Riener; F. Stradolini; G. De Micheli 

2018-07-11. 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI’18), Hong Kong SAR, China, July 9-11, 2018. p. 299-304. DOI : 10.1109/ISVLSI.2018.00062.

End-to-End Industrial Study of Retiming

C. Yu; C-C. Huang; G-J. Nam; M. Choudhury; V. N. Kravets et al. 

2018-07-11. 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI’18), Hong Kong SAR, China, July 9-11, 2018. p. 203-208. DOI : 10.1109/ISVLSI.2018.00046.

SAT Based Exact Synthesis using DAG Topology Families

W. J. Haaswijk; A. Mishchenko; M. Soeken; G. De Micheli 

2018-06-28. 2018 ACM/IEEE Design Automation Conference (DAC), San Francisco, California, USA, June 24-28, 2018. DOI : 10.1109/DAC.2018.8465888.

Developing Synthesis Flows without Human Knowledge

C. Yu; H. Xiao; G. De Micheli 

2018-06-24. ACM/IEEE Design Automation Conference (DAC’18), San Francisco, California, USA, June 24-28, 2018. DOI : 10.1145/3195970.3196026.

Portable Memristive Biosensing System as Effective Point-of-Care Device for Cancer Diagnostics

I. Tzouvadaki; A. Tuoheti; G. De Micheli; D. Demarchi; S. Carrara 

2018-05-30. IEEE International Symposium on Circuits and Systems (ISCAS), Florence, Italy, May 27-30, 2018. DOI : 10.1109/ISCAS.2018.8351438.

Deep Learning for Logic Optimization Algorithms, 2018 IEEE International Symposium on Circuits and Systems (ISCAS)

W. J. Haaswijk; E. Collins; B. Seguin; M. Soeken; F. Kaplan et al. 

2018-05-27. 2018 IEEE International Symposium on Circuits and Systems (ISCAS), Florence, Italy, May 27-30, 2018. p. 1-4. DOI : 10.1109/ISCAS.2018.8351885.

Towards high-performance polarity-controllable FETs with 2D materials, 2018 Design

G. V. Resta; J. R. Gonzalez; Y. Balaji; T. Agarwal; D. Lin et al. 

2018-03-23. Design, Automation & Test in Europe Conference & Exhibition, Dresden, Germany, p. 637-641. DOI : 10.23919/DATE.2018.8342088.

Improvements to Boolean resynthesis

L. Amarù; M. Soeken; P. Vuillod; J. Luo; A. Mishchenko et al. 

2018-03-23. Design, Automation and Test in Europe (DATE), Dresden, Germany, March 19-23, 2018. p. 755-790. DOI : 10.23919/DATE.2018.8342108.

Practical Exact Synthesis (Invited executive session)

M. Soeken; W. J. Haaswijk; E. Testa; A. Mishchenko; L. G. Amarù et al. 

2018-03-19. Design, Automation and Test in Europe (DATE), Dresden, Germany, March 19-23, 2018. DOI : 10.23919/DATE.2018.8342027.

Functional Decomposition Using Majority

Z. Chu; M. Soeken; Y. Xia; G. De Micheli 

2018-01-25. 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)23rd Asia and South Pacific Design Automation Conference (ASP-DAC), Jeju Island, KoreaJeju Island, Korea, January 22-25, 2018January 22-25, 2018. DOI : 10.1109/ASPDAC.2018.8297400.

A Best-Fit Mapping Algorithm to Facilitate ESOP-Decomposition in Clifford+T Quantum Network Synthesis

G. Meuli; M. Soeken; M. Roetteler; N. Wiebe; G. De Micheli 

2018-01-25. 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), Jeju Island, Korea, January 22-25, 2018. p. 664-669. DOI : 10.1109/ASPDAC.2018.8297398.

Size Optimization of MIGs with an Application to QCA and STMG Technologies

H. Riener; E. Testa; L. Amaru; M. Soeken; G. De Micheli 

2018-01-01. 14th IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH), Athens, GREECE, Jul 18-19, 2018. p. 157-162. DOI : 10.1145/3232195.3232202.

Majority Logic Synthesis

L. Amaru; E. Testa; M. Couceiro; O. Zografos; G. De Micheli et al. 

2018-01-01. 37th IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Diego, CA, Nov 05-08, 2018. DOI : 10.1145/3240765.3267501.

Functional Decomposition Using Majority

Z. Chu; M. Soeken; Y. Xia; G. De Micheli 

2018-01-01. 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), Jeju, SOUTH KOREA, Jan 22-25, 2018. p. 676-681.

A Best-Fit Mapping Algorithm to Facilitate ESOP-Decomposition in Clifford plus T Quantum Network Synthesis

G. Meuli; M. Soeken; M. Roetteler; N. Wiebe; G. De Micheli 

2018-01-01. 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), Jeju, SOUTH KOREA, Jan 22-25, 2018. p. 664-669.

Mixed gold and platinum nanostructured layers for all-solid-state ion sensors

F. Criscuolo; L. Lobello; I. Taurino; D. Demarchi; S. Carrara et al. 

2018-01-01. 17th IEEE SENSORS Conference, New Delhi, INDIA, Oct 28-31, 2018. p. 924-927.

Integrated ESOP Refactoring for Industrial Designs

W. Haaswijk; L. G. Amaru; P. Vuillod; J. Luo; M. Soeken et al. 

2018-01-01. 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), Bordeaux, FRANCE, Dec 09-12, 2018. p. 369-372. DOI : 10.1109/ICECS.2018.8617963.

Cyber-medical systems: requirements, components, design

G. De Micheli 

2018-01-01. 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Verona, ITALY, Oct 08-10, 2018. p. X-X.

SAT Based Exact Synthesis using DAG Topology Families

W. Haaswijk; A. Mishchenko; M. Soeken; G. De Micheli 

2018-01-01. 55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Francisco, CA, Jun 24-28, 2018. DOI : 10.1145/3195970.3196111.

Deep Learning for Logic Optimization Algorithms

W. Haaswijk; E. Collins; B. Seguin; M. Soeken; F. Kaplan et al. 

2018-01-01. IEEE International Symposium on Circuits and Systems (ISCAS), Florence, ITALY, May 27-30, 2018.

Practical Exact Synthesis

M. Soeken; W. Haaswijk; E. Testa; A. Mishchenko; L. Amaru et al. 

2018. Design, Automation and Test in Europe Conference and Exhibition (DATE), Dresden, GERMANY, Mar 19-23, 2018. p. 309-314. DOI : 10.23919/DATE.2018.8342027.

SAT-based {CNOT, T} Quantum Circuit Synthesis

G. Meuli; M. Soeken; G. De Micheli 

2018. RC. DOI : 10.1007/978-3-319-99498-7_12.

Book Chapters

Silicon Nanowires for Biosensing

F. Puppo; S. Carrara; G. De Micheli 

Encyclopedia of Interfacial Chemistry: Surface Science and Electrochemistry; Elsevier, 2018-05-04.

2017

Journal Articles

Safe and Efficient Deployment of Data-Parallelisable Applications on Many-Core Platforms: Theory and Practice

S. Skalistis; F. Angiolini; A. Simalatsar; G. De Micheli 

IEEE Design and Test. 2017-12-14. Vol. 35, num. 4, p. 7-15. DOI : 10.1109/MDAT.2017.2783326.

A PLiM Computer for the Internet of Things

M. Soeken; P-E. Gaillardon; S. Shirinzadeh; R. Drechsler; G. De Micheli 

Computer. 2017-06-09. Vol. 50, num. 6, p. 35-40. DOI : 10.1109/MC.2017.173.

The memristive effect as a novelty in drug monitoring

I. Tzouvadaki; N. Aliakbarinodehi; G. De Micheli; S. Carrara 

Nanoscale. 2017-06-06. Vol. 9, num. 27, p. 9676-9684. DOI : 10.1039/c7nr01297g.

Cyber-Medical Systems: Requirements, Components and Design Examples

G. De Micheli 

IEEE Transactions on Circuits and Systems Part 1 Regular Papers. 2017-05-06. Vol. 64, num. 9, p. 2226-2236. DOI : 10.1109/TCSI.2017.2694465.

Aptamer-based Field-Effect Biosensor for Tenofovir Detection

N. Aliakbari; P. Jolly; N. Bhalla; A. Miodek; G. De Micheli et al. 

Scientific Reports. 2017-03-15. Vol. 7, num. 44409. DOI : 10.1038/srep44409.

Operation regimes and electrical transport of steep slope Schottky Si-FinFETS

D-Y. Jeon; J. Zhang; J. Trommer; S. J. Park; P-E. Gaillardon et al. 

Journal of Applied Physics. 2017-02-10. Vol. 121, num. 6. DOI : 10.1063/1.4975475.

Nano-Tera.ch: Information Technology for Health, Environment, and Energy

P. Mayor; M. Rajman; G. De Micheli 

IEEE Design and Test. 2017. Vol. 34, num. 6, p. 109-118. DOI : 10.1109/MDAT.2017.2757926.

Effect of O2 migration in Pt/HfO2/Ti/Pt structure

M. Thammasack; G. De Micheli; P-E. Gaillardon 

Journal of Electroceramics. 2017. Vol. 39, num. 1-4, p. 137-142. DOI : 10.1007/s10832-017-0077-y.

A bimetallic nanocoral Au decorated with Pt nanoflowers (bio)sensor for H2O2 detection at low potential

G. Sanzò; I. Taurino; F. Puppo; R. Antiochia; L. Gorton et al. 

Methods. 2017. Vol. 129, num. October, p. 89-95. DOI : 10.1016/j.ymeth.2017.06.005.

Efficient Sample Delay Calculation for 2-D and 3-D Ultrasound Imaging

A. Ibrahim; P. A. Hager; A. Bartolini; F. Angiolini; M. Arditi et al. 

IEEE Transactions on Biomedical Circuits and Systems. 2017. Vol. 11, num. 4, p. 815-831. DOI : 10.1109/TBCAS.2017.2673547.

A Differential Electrochemical Readout ASIC with Heterogeneous Integration of Bio-nano Sensors for Amperometric Sensing

S. Ghoreishizadeh; I. Taurino; G. De Micheli; S. Carrara; P. Georgiou 

IEEE Transactions on Biomedical Circuits and Systems. 2017. Vol. 11, num. 5, p. 1148-1159. DOI : 10.1109/TBCAS.2017.2733624.

Networks on Chips: 15 Years Later

G. De Micheli; L. Benini 

Computer. 2017. Vol. 50, num. 5, p. 10-11. DOI : 10.1109/MC.2017.140.

Scaling trends and performance evaluation of 2-dimensional polarity-controllable FETs

G. Resta; T. Agarwal; D. Lin; I. P. Radu; F. Catthoor et al. 

Scientific Reports. 2017. Vol. 7, num. 45556. DOI : 10.1038/srep45556.

Low Temperature Wet Conformal Nickel Silicide Deposition for Transistor Technology through an Organometallic Approach

T-H. Lin; T. Margossian; M. De Marchi; M. Thammasack; D. Zemlyanov et al. 

ACS Applied Materials & Interfaces. 2017. Vol. 9, num. 5, p. 4948-4955. DOI : 10.1021/acsami.6b13852.

Exact Synthesis of Majority-Inverter Graphs and Its Applications

M. Soeken; L. Amaru; P-E. Gaillardon; G. De Micheli 

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2017. Vol. 36, num. 11, p. 1842-1855. DOI : 10.1109/TCAD.2017.2664059.

Circuit Designs of High-Performance and Low-Power RRAM-Based Multiplexers Based on 4T(ransistor)1R(RAM) Programming Structure

X. Tang; E. Giacomin; G. De Micheli; P-E. Gaillardon 

IEEE Transactions on Circuits and Systems I: Regular Papers. 2017. Vol. 64, num. 5, p. 1173-1186. DOI : 10.1109/TCSI.2016.2638542.

A High-performance FPGA Architecture Using One-Level RRAM-based Multiplexers

X. Tang; G. De Micheli; P-E. Gaillardon 

IEEE Transactions on Emerging Topics in Computing. 2017. Vol. 5, num. 2, p. 210-222. DOI : 10.1109/TETC.2016.2630121.

Control of Resistive Switching in Mott Memories Based on TiN/AM4Q8/TiN MIM Devices

J. Tranchant; J. Sandrini; E. Janod; D. Sacchetto; B. Corraze et al. 

ECS Transactions. 2017. Vol. 75, num. 32, p. 3-12. DOI : 10.1149/07532.0003ecst.

Conference Papers

Enabling exact delay synthesis

L. Amarù; M. Soeken; P. Vuillod; J. Luo; A. Mishchenko et al. 

2017-11-16. 36th IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Irvine, California, USA, November 13-16, 2017. DOI : 10.1109/ICCAD.2017.8203799.

Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies

E. Testa; O. Zografos; M. Soeken; A. Vaysset; M. Manfrini et al. 

2017-07-05. IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Bochum, Germany, 3-5 July 2017. p. 164-169. DOI : 10.1109/ISVLSI.2017.37.

Hierarchical Reversible Logic Synthesis Using LUTs

M. Soeken; M. Roetteler; N. Wiebe; G. De Micheli 

2017-06-22. 54th ACM/IEEE Design Automation Conference (DAC), Austin, Texsas, USA, 18-22 June 2017. DOI : 10.1145/3061639.3062261.

A Compiler for Parallel and Resource-Constrained Programmable in-Memory Computing

G. Meuli; M. Soeken; P-E. Gaillardon; G. De Micheli 

2017-06-18. 26th International Workshop on Logic & Synthesis (IWLS), Austin, Texsas, USA, June 17-18, 2017.

An electrochemical sensor for quantitative analysis of Rhesus D antibodies in blood

F. Criscuolo; I. Taurino; T. Kilic; S. Carrara; G. De Micheli 

2017-06-15. 7th IEEE International Workshop on Advances in Sensors and Interfaces (IWASI), Vieste, Italy, June 15-16, 2017. DOI : 10.1109/IWASI.2017.7974261.

RM3 based logic synthesis

M. Soeken; P-E. Gaillardon; G. De Micheli 

2017-05-31. IEEE International Symposium on Circuits and Systems (ISCAS), Baltimore, Maryland, USA, May 28-31, 2017. DOI : 10.1109/ISCAS.2017.8050223.

Classifying Functions with Exact Synthesis

W. Haaswijk; E. Testa; M. Soeken; G. De Micheli 

2017-05-24. IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), Novi Sad, Serbia, 22-24 May 2017. p. 272-276. DOI : 10.1109/ISMVL.2017.44.

Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains

Z. Chu; X. Tang; M. Soeken; A. Petkovska; G. Zgheib et al. 

2017-05-12. Great Lakes Symposium on VLSI (GLVLSI), Banff, Alberta, Canada, May 10-12, 2017. p. 131-136. DOI : 10.1145/3060403.3060432.

Memristive Aptasensors for Theranostics

I. Tzouvadaki; N. Aliakbarinodehi; G. De Micheli; S. Carrara 

2017-04-06. International Conference on Memristive Materials, Devices & Systems (MEMRISYS), Athens, Greece, April 3-6, 2017.

Wave Pipelining for Majority-based Beyond-CMOS Technologies

O. Zografos; A. De Meester; E. Testa; M. Soeken; P-E. Gaillardon et al. 

2017-03-31. Design, Automation & Test in Europe (DATE), Lausanne, Switzerland, March 27-31, 2017. p. 1306-1311. DOI : 10.23919/DATE.2017.7927195.

Design Automation and Design Space Exploration for Quantum Computers

M. Soeken; M. Roetteler; N. Wiebe; G. De Micheli 

2017-03-31. Design, Automation & Test in Europe (DATE), Lausanne, Switzerland, March 27-31, 2017.

Busy Man’s Synthesis: Combinational Delay Optimization With SAT

M. Soeken; G. De Micheli; A. Mishchenko 

2017-03-31. Design, Automation & Test in Europe (DATE), Lausanne, Switzerland, March 27-31, 2017.

Endurance Management for Resistive Logic-In-Memory Computing Architectures

S. Shirinzadeh; M. Soeken; P-E. Gaillardon; G. De Micheli; R. Drechsler 

2017-03-31. Design, Automation & Test in Europe (DATE), Lausanne, Switzerland, March 27-31, 2017.

Exact Synthesis for Logic Synthesis Applications with Complex Constraints

E. Testa; M. Soeken; O. Zografos; F. Catthoor; G. De Micheli 

2017. 26th International Workshop on Logic & Synthesis (IWLS), Austin, Texsas, USA, June 17-18, 2017.

Raspberry Pi Driven Flow-Injection System for Electrochemical Continuous Monitoring Platforms

B. Donato; F. Stradolini; A. Tuoheti; F. Angiolini; D. Demarchi et al. 

2017. IEEE Biomedical Circuits and Systems Conference (BioCAS), Turin, Italy, October 19-21, 2017.

Inexpensive 1024-Channel 3D Telesonography System on FPGA

A. Ibrahim; D. Doy; C. Loureiro; E. Pignat; F. Angiolini et al. 

2017. IEEE Biomedical Circuits and Systems Conference (BioCAS), Turin, Italy, October 19-21, 2017.

Single-FPGA complete 3D and 2D medical ultrasound imager

A. Ibrahim; W. Simon; D. Doy; E. Pignat; F. Angiolini et al. 

2017. 2017 Conference on Design and Architectures for Signal and Image processing (DASIP), Dresden, Germany, September 27-29, 2017. DOI : 10.1109/DASIP.2017.8122113.

An Efficient Electronic Measurement Interface for Memristive Biosensors

S. Naus; I. Tzouvadaki; P-E. Gaillardon; A. Biscontini; G. De Micheli et al. 

2017. IEEE International Symposium on Circuits and Systems (ISCAS), Baltimore, Maryland, USA, May 28-31, 2017. DOI : 10.1109/ISCAS.2017.8050685.

1024-Channel 3D Ultrasound Digital Beamformer in a Single 5W FPGA

F. Angiolini; A. Ibrahim; W. Simon; A. C. Yuzuguler; M. Arditi et al. 

2017. 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), EPFL, Lausanne, Switzerland, March 27-31, 2017. p. 1225-1228. DOI : 10.23919/DATE.2017.7927175.

Optimization Opportunities in RRAM-based FPGA Architectures

X. Tang; G. De Micheli; P-E. Gaillardon 

2017. IEEE 8th Latin American Symposium on Circuits & Systems (LASCAS), Bariloche, Argentina, February 20-23, 2017.

Physical Design Considerations of One-level RRAM-based Routing Multiplexers

X. Tang; E. Giacomin; G. De Micheli; P-E. Gaillardon 

2017. ACM International Symposium on Physical Design (ISPD), Portland, Oregon, USA, March 19-22, 2017. DOI : 10.1145/3036669.3036675.

Multi-level Logic Benchmarks: An Exactness Study

L. Amaru; M. Soeken; W. Haaswijk; E. Testa; P. Vuillod et al. 

2017. 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), Chiba, Japan, January 16-19, 2017.

A Novel Basis for Logic Rewriting

W. Haaswijk; M. Soeken; L. Amaru; P-E. Gaillardon; G. De Micheli 

2017. 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), Chiba, Japan, January 16-19, 2017.

2016

Journal Articles

A Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors

H. Ghasemzadeh-Mohammadi; P-E. Gaillardon; J. Zhang; G. De Micheli; E. Sanchez et al. 

ACM Journal on Emerging Technologies in Computing Systems. 2016-11-15. Vol. 13, num. 2. DOI : 10.1145/2988234.

Surface trap mediated electronic transport in biofunctionalized silicon nanowires

F. Puppo; F. L. Traversa; M. Di Ventra; G. De Micheli; S. Carrara 

Nanotechnology. 2016-06-20. Vol. 27, num. 34, p. 345503. DOI : 10.1088/0957-4484/27/34/345503.

In-Vivo Validation of Fully Implantable Multi-Panel Devices for Remote Monitoring of Metabolism

C. Baj-Rossi; A. Cavallini; E. G. Kilinç; F. Stradolini; T. Rezzonica Jost et al. 

IEEE Transactions on Biomedical Circuits and Systems. 2016. Vol. 10, num. 5, p. 955-962. DOI : 10.1109/TBCAS.2016.2584239.

Memristive Biosensors Integration With Microfluidic Platform

A. Vallero; I. Tzouvadaki; F. Puppo; M-A. Doucey; J-F. Delaloye et al. 

IEEE Transactions on Circuits and Systems I: Regular Papers. 2016. Vol. 63, num. 12, p. 2120-2127. DOI : 10.1109/TCSI.2016.2608959.

Study on the bio-functionalization of memristive nanowires for optimum memristive biosensors

I. Tzouvadaki; N. Madaboosi; I. Taurino; V. Chu; J. Conde et al. 

Journal of Materials Chemistry B. 2016. num. 12, p. 2153-2162. DOI : 10.1039/c6tb00222f.

A CMOS Amperometric System for Multi-Neurotransmitter Detection

G. Massicotte; S. Carrara; G. De Micheli; M. Sawan 

IEEE Transactions on Biomedical Circuits and Systems. 2016. Vol. 10, num. 3, p. 731-741. DOI : 10.1109/Tbcas.2015.2490225.

Label-Free Ultrasensitive Memristive Aptasensor

I. Tzouvadaki; P. Jolly; X. Lu; S. Ingebrandt; G. De Micheli et al. 

ACS Nano Letters. 2016. Vol. 16, num. 7, p. 4472-4476. DOI : 10.1021/acs.nanolett.6b01648.

Enzymatic and Nonenzymatic Electrochemical Interaction of Abiraterone (Antiprostate Cancer Drug) with Multiwalled Carbon Nanotube Bioelectrodes

N. Aliakbari; G. De Micheli; S. Carrara 

Analytical Chemistry. 2016. Vol. 88, num. 19, p. 9347-9350. DOI : 10.1021/acs.analchem.6b02747.

Polarity control in WSe2 double-gate transistors

G. V. Resta; S. Sutar; Y. Balaji; D. Lin; P. Raghavan et al. 

Scientific Reports. 2016. Vol. 6, num. 29448. DOI : 10.1038/srep29448.

Wireless Monitoring of Endogenous and Exogenous Biomolecules on an Android Interface

F. Stradolini; S. Riario; C. Boero; C. Baj-Rossi; I. Taurino et al. 

IEEE Sensors Journal. 2016. Vol. 16, num. 9, p. 3163-3170. DOI : 10.1109/Jsen.2016.2524631.

Recent advances in Third Generation Biosensors based on Au and Pt Nanostructured Electrodes

I. Taurino; G. Sanzo; R. Antiochia; C. Tortolini; F. Mazzei et al. 

TrAC Trends In Analytical Chemistry. 2016. Vol. 79, num. May 2016, p. 151-159. DOI : 10.1016/j.trac.2016.01.020.

Platinum nanopetal-based potassium sensors for acute cell death monitoring

I. Taurino; S. Massa; G. Sanzo; J. Aleman; B. Flavia et al. 

RSC Advances. 2016. Vol. 6, num. 46, p. 40517-40526. DOI : 10.1039/c6ra01664b.

Efficient Statistical Parameter Selection for Nonlinear Modeling of Process/Performance Variation

H. Ghasemzadeh Mohammadi; P-E. Gaillardon; G. De Micheli 

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2016. Vol. 35, num. 12, p. 1995-2007. DOI : 10.1109/TCAD.2016.2547908.

An Innovative System of Membranes for the Monitoring of Endogenous and Exogenous Metabolites

C. Baj-Rossi; S. Ghoreishizadeh; S. Carrara; G. De Micheli 

BioNanoScience. 2016. Vol. 6, num. 2, p. 85-92. DOI : 10.1007/s12668-016-0196-y.

Impact of Data Serialization over TSVs on Routing Congestion in 3D-Stacked Multi-Core Processors

G. Beanato; A. Cevrero; G. De Micheli; Y. Leblebici 

Microelectronics Journal. 2016. Vol. 51, num. May, p. 38-45. DOI : 10.1016/j.mejo.2015.12.004.

A Study on the Programming Structures for RRAM-based FPGA Architectures

X. Tang; G. Kim; P-E. Gaillardon; G. De Micheli 

IEEE Transactions on Circuits and Systems – I. 2016. Vol. 63, num. 4, p. 503-516. DOI : 10.1109/TCSI.2016.2528079.

A Sound and Complete Axiomatization of Majority-n Logic

L. Amarù; P-E. Gaillardon; A. Chattopadhyay; G. De Micheli 

IEEE Transactions on Computers. 2016. Vol. 65, num. 9, p. 2889-2895. DOI : 10.1109/TC.2015.2506566.

Computationally Efficient Multiple-Independent-Gate Device Model

A. Antidormi; S. Frache; M. Graziano; P-E. Gaillardon; G. Piccinini et al. 

IEEE Transactions on Nanotechnology. 2016. Vol. 15, num. 1, p. 2-14. DOI : 10.1109/TNANO.2015.2493543.

Co-design of ReRAM Passive Crossbar Arrays Integrated in 180nm CMOS Technology

J. Sandrini; M. Barlas; M. Thammasack; T. Demirci; M. De Marchi et al. 

IEEE Journal of Emerging and Selected Topics in Circuits and Systems. 2016. Vol. 6, num. 3, p. 339-351. DOI : 10.1109/JETCAS.2016.2547746.

Majority-Inverter Graph: A New Paradigm for Logic Optimization

L. Amaru; P-E. Gaillardon; G. De Micheli 

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2016. Vol. 35, num. 5, p. 806-819. DOI : 10.1109/TCAD.2015.2488484.

SiNW-FET in-Air Biosensors for High Sensitive and Specific Detection in Breast Tumor Extract

F. Puppo; M-A. Doucey; J-F. Delaloye; T. S. Moh; G. Pandraud et al. 

IEEE Sensors Journal. 2016. Vol. 16, num. 10, p. 3374-3381. DOI : 10.1109/JSEN.2015.2433836.

Emerging Technology Based Design of Primitives for Hardware Security

Y. Bi; K. Shamsi; J-S. Yuan; P-E. Gaillardon; G. De Micheli et al. 

ACM Journal on Emerging Technologies in Computing Systems. 2016. Vol. 13, num. 1, p. 3:1-3:19. DOI : 10.1145/2816818.

Conference Papers

Inversion optimization in majority-inverter graphs

E. Testa; M. Soeken; O. Zografos; L. Amaru; P. Raghavan et al. 

2016-06-15. IEEE/ACM International Symposium on Nanoscale Archituectures (NANOARCH), Beijing, China, July 18-20, 2016. p. 15-20. DOI : 10.1145/2950067.2950072.

LUT Mapping and Optimization for Majority-Inverter Graphs

W. J. Haaswijk; M. Soeken; L. Amaru; P-E. Gaillardon; G. De Micheli 

2016-06-11. 25th International Workshop on Logic & Synthesis (IWLS), Austin, Texas, USA, June 10-11, 2016.

Demo: Efficient Delay and Apodization for on-FPGA 3D Ultrasound

A. C. Yüzügüler; W. Simon; A. Ibrahim; F. Angiolini; M. Arditi et al. 

2016. Conference on Design and Architectures for Signal and Image Processing (DASIP), Rennes, France, October 12-14, 2016.

Single-FPGA 3D Ultrasound Beamformer

A. C. Yüzügüler; W. Simon; A. Ibrahim; F. Angiolini; M. Arditi et al. 

2016. 26th International Conference on Field-Programmable Logic and Applications (FPL), Lausanne, Switzerland, August 29 – September 2, 2016.

Single-FPGA, Scalable, Low-Power, and High-Quality 3D Ultrasound Beamformer

W. Simon; A. C. Yüzügüler; A. Ibrahim; F. Angiolini; M. Arditi et al. 

2016. 26th International Conference on Field-Programmable Logic and Applications (FPL), Lausanne, Switzerland, August 29 – September 2, 2016.

Apodization Scheme for Hardware-Efficient Beamformer

A. Ibrahim; F. Angiolini; M. Arditi; J-P. Thiran; G. De Micheli 

2016. 12th Conference on PhD Research in Microelectronics and Electronics (PRIME), Lisbon, Portugal, June 27-30, 2016.

Nano-fabricated memristive biosensors for biomedical applications with liquid and dried samples

I. Tzouvadaki; X. Lu; G. De Micheli; S. Ingebrandt; S. Carrara 

2016. IEEE 38th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC), Orlando, Florida, USA, August 16-20, 2016. DOI : 10.1109/EMBC.2016.7590698.

Inversion Minimization in Majority-Inverter Graphs

E. Testa; M. Soeken; L. Amaru; P-E. Gaillardon; G. De Micheli 

2016. 25th International Workshop on Logic & Synthesis (IWLS), Austin, Texas, USA, June 10-11, 2016.

SAT-Based Combinational and Sequential Dependency Computation

M. Soeken; P. Raiola; B. Sterin; B. Becker; G. De Micheli et al. 

2016. 12th Haifa Verification Conference (HVC 2016), Haifa, Israel, November 14-17, 2016. p. 1-17. DOI : 10.1007/978-3-319-49052-6_1.

Paradigm-Shifting Players for IoT: Smart-Watches for Intensive Care Monitoring

F. Stradolini; E. Lavalle; G. De Micheli; P. Motto Ros; D. Demarchi et al. 

2016. 6th International Conference on Wireless Mobile Communication and Healthcare (MobiHealth), Milan, Italy, November 14-16, 2016.

Fast Hierarchical NPN Classification

A. Petkovska; M. Soeken; G. De Micheli; P. Ienne; A. Mishchenko 

2016. International Conference on Field-Programmable Logic and Applications, Lausanne, Switzerland, 29 August – 2 September 2016.

Panel: Looking Backwards and Forwards

M. Casale-Rossi; G. De Micheli; A. Domic; E. Macii; D. Rossi et al. 

2016. Design, Automation and Test in Europe Conference and Exhibition (DATE), Dresden, Germany, March 14-18, 2016. p. 571-575.

Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications

A. Petkovska; A. Mishchenko; M. Soeken; G. De Micheli; R. K. Brayton et al. 

2016. International Conference on Computer Aided Design (ICCAD), Austin, Texas, USA, November 7-10, 2016. DOI : 10.1145/2966986.2967040.

Enumeration of reversible functions and its application to circuit complexity

M. Soeken; N. Abdessaied; G. De Micheli 

2016. 8th Conference on Reversible Computation (RC), Bologna, Italy, July 7-8, 2016. DOI : 10.1007/978-3-319-40578-0_19.

Heuristic NPN classification for large functions using AIGs and LEXSAT

M. Soeken; A. Mishchenko; A. Petkovska; B. Sterin; P. Ienne et al. 

2016. 19th International Conference on Theory and Applications of Satisfiability Testing (SAT), Bordeaux, France, July 5-8, 2016. DOI : 10.1007/978-3-319-40970-2_14.

Resistance impact by long connections on electrical behavior of integrated Memristive Biosensors

I. Tzouvadaki; A. Vallero; F. Puppo; G. De Micheli; S. Carrara 

2016. IEEE International Symposium on Circuits and Systems (ISCAS), Montreal, Canada, May 22-25, 2016. p. 385-388.

An Integrated Platform for Differential Electrochemical and ISFET Sensing

S. Ghoreishizadeh; P. Georgiu; S. Carrara; G. De Micheli 

2016. IEEE International Symposium on Circuits and Systems (ISCAS), Montreal, Canada, May 22-25, 2016. p. 2875-2878.

Simultaneous Monitoring of Anesthetics and Therapeutic Compounds with a Portable Multichannel Potentiostat

F. Stradolini; T. Elboshra; A. Biscontini; G. De Micheli; S. Carrara 

2016. IEEE International Symposium on Circuits and Systems (ISCAS), Montreal, Canada, May 22-25, 2016. p. 834-837.

A Power-Efficient 3-D On-Chip Interconnect for Multi-Core Accelerators with Stacked L2 Cache

K. Kang; S. Park; J-B. Lee; L. Benini; G. De Micheli 

2016. Design, Automation and Test in Europe (DATE), Dresden, Germany, March 14-18, 2016.

Notes on Majority Boolean Algebra

A. Chattopadhyay; L. Amarù; M. Soeken; P-E. Gaillardon; G. De Micheli 

2016. IEEE International Symposium on Multi-Valued Logic (ISMVL), Sapporo, Japan, May 18-20, 2016. p. 50-55. DOI : 10.1109/ISMVL.2016.21.

An MIG-based Compiler for Programmable Logic-in-Memory Architectures

M. Soeken; S. Shirinzadeh; P-E. Gaillardon; L. Amarù; R. Drechsler et al. 

2016. 53rd Design Automation Conference (DAC), Austin, Texas, USA, June 5-9, 2016. DOI : 10.1145/2897937.2897985.

Majority-based Synthesis for Nanotechnologies

L. Amarù; P-E. Gaillardon; G. De Micheli 

2016. 21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016), Macao SAR, China, January 25-28, 2016.

A Full-Capacity Local Routing Architecture for FPGAs

X. Tang; P-E. Gaillardon; G. De Micheli 

2016. 24rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2016), Monterey, California, USA, February 21-23, 2016. DOI : 10.1145/2847263.2847314.

The Programmable Logic-in-Memory (PLiM) Computer (Invited)

P-E. Gaillardon; L. Amarù; A. Siemon; E. Linn; R. Waser et al. 

2016. Design, Automation & Test in Europe Conference (DATE), Dresden, Germany, March 14-18, 2016.

Optimizing Majority-Inverter Graphs with Functional Hashing

M. Soeken; L. Amarù; P-E. Gaillardon; G. De Micheli 

2016. Design, Automation & Test in Europe Conference (DATE), Dresden, Germany, March 14-18, 2016.

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

L. Amaru; P-E. Gaillardon; R. Wille; G. De Micheli 

2016. Design, Automation & Test in Europe Conference (DATE), Dresden, Germany, March 14-18, 2016.

2015

Journal Articles

Fast synthesis of platinum nanopetals and nanospheres for highly-sensitive non-enzymatic detection of glucose and selective sensing of ions

I. Taurino; G. Sanzo; F. Mazzei; G. Favero; G. De Micheli et al. 

Scientific Reports. 2015. Vol. 5, num. Article number: 15277. DOI : 10.1038/srep15277.

Layout Technique for Double-Gate Silicon Nanowire FETs With an Efficient Sea-of-Tiles Architecture

S. Bobba; G. De Micheli 

IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 2015. Vol. 23, num. 10, p. 2103-2115. DOI : 10.1109/TVLSI.2014.2358884.

From Defect Analysis to Gate-Level Fault Modeling of Controllable-Polarity Silicon Nanowires

H. Ghasemzadeh; P-E. Gaillardon; G. De Micheli 

IEEE Transactions on Nanotechnology. 2015. Vol. 14, num. 6, p. 1117-1126. DOI : 10.1109/TNANO.2015.2482359.

On Temperature Dependency of Steep Subthreshold Slope in Dual-Independent-Gate FinFET

J. Zhang; J. Trommer; W. M. Weber; P-E. Gaillardon; G. De Micheli 

IEEE Journal of the Electron Devices Society. 2015. Vol. 3, num. 6, p. 452-456. DOI : 10.1109/JEDS.2015.2482123.

Faradic Peaks Enhanced by Carbon Nanotubes in Microsomal Cytochrome P450 Electrodes

C. Baj-Rossi; C. Müller; U. von Mandach; G. De Micheli; S. Carrara 

Electroanalysis. 2015. Vol. 27, num. 6, p. 1507-1515. DOI : 10.1002/elan.201400726.

Memristive Biosensors for PSA-IgM Detection

I. Tzouvadaki; C. Parrozzani; A. Galotta; G. De Micheli; S. Carrara 

BioNanoScience. 2015. Vol. 5, num. 4, p. 189-195. DOI : 10.1007/s12668-015-0179-4.

A System for Wireless Power Transfer and Data Communication of Long-Term Bio-Monitoring

E. G. Kilinç; C. Baj-Rossi; S. Ghoreishizadeh; S. Riario; F. Stradolini et al. 

IEEE Sensors Journal. 2015. Vol. 15, num. 11, p. 6559-6569. DOI : 10.1109/JSEN.2015.2462362.

Computational Study on the Electrical Behavior of Silicon Nanowire Memristive Biosensors

I. Tzouvadaki; F. Puppo; G. De Micheli; S. Carrara 

IEEE Sensors Journal. 2015. Vol. 15, num. 11, p. 6208-6217. DOI : 10.1109/JSEN.2015.2456336.

New Logic Synthesis As Nanotechnology Enabler (invited paper)

L. Amarù; P-E. Gaillardon; S. Mitra; G. De Micheli 

Proceedings of the IEEE. 2015. Vol. 103, num. 11, p. 2168-2195. DOI : 10.1109/JPROC.2015.2460377.

A Survey on Low-Power Techniques with Emerging Technologies: From Devices to Systems

P-E. Gaillardon; E. Beigné; S. Lesecq; G. De Micheli 

ACM Journal on Emerging Technologies in Computing Systems (JETC). 2015. Vol. 12, num. 2, p. 12:1-12:26. DOI : 10.1145/2714566.

Conference Papers

NANO-TERA.CH: Electronic Technology for Health Management

G. De Micheli 

2015. 9th Jordanian International Electrical and Electronics Engineering Conference (JIEEEC 2015), Amman, Jordan, October 12-14, 2015.

Spintronic Majority Gates

I. P. Radu; O. Zografos; A. Vaysset; F. Ciubotaru; J. Yan et al. 

2015. IEEE International Electron Devices Meeting (IEDM).

Modeling Memristive Biosensors

I. Tzouvadaki; F. Puppo; M-A. Doucey; G. De Micheli; S. Carrara 

2015. IEEE Sensors 2015, Busan, South Korea, November 1-4, 2015. p. 1538-1541.

Wireless Monitoring in Intensive Care Units by a 3D-Printed System with Embedded Electronics

F. Basilotta; S. Riario; F. Stradolini; I. Taurino; D. Demarchi et al. 

2015. IEEE/CAS-EMB Biomedical Circuits and Systems Conference (BioCAS 2015), Atlanta, Georgia, USA, October 22-24, 2015.

Biocompatible Packagings for Fully Implantable Multi-Panel Devices for Remote Monitoring of Metabolism

C. Baj-Rossi; A. Cavallini; T. Rezzonico Jost; M. Proietti; F. Grassi et al. 

2015. Biomedical Circuits and Systems Conference (BiOCAS 2015), Atlanta, Georgia, USA, October 22-24, 2015.

Highly Sensitive Electrodic Materials Based on Pt Nanoflowers Grown on Pt Nanospheres for Biosensor Development

G. Sanzo; I. Taurino; G. Favero; F. Mazzei; G. De Micheli et al. 

2015. 15th International IEEE Conference on Nanotechnology (NANO 2015), Rome, Italy, July 27-30, 2015.

A neural approach to drugs monitoring for personalized medicine

B. Staar; M. Schirmer; C. Baj-Rossi; G. De Micheli; S. Carrara et al. 

2015. International Joint Conference on Neural Networks 2015 (IJCNN), Killarney, Ireland, July 12-17, 2015. DOI : 10.1109/IJCNN.2015.7280611.

Bio-functionalization study of Memristive- Biosensors for Early Detection of Prostate Cancer

I. Tzouvadaki; N. Madaboosi; R. Soares; J. Conde; G. De Micheli et al. 

2015. IEEE 11th Conference on PhD Research in Microelectronics and Electronics (PRIME 2015), Glasgow, Scotland, UK, June 29 – July 2, 2015. p. 17-20. DOI : 10.1109/PRIME.2015.7251083.

Optimized Electrochemical Detection of Anti-Cancer Drug by Carbon Nanotubes or Gold Nanoparticles

N. Aliakbari; G. De Micheli; S. Carrara 

2015. IEEE PRIME 2015, Glasgow, Scotland, UK, June 29 – July 2, 2015. p. 25-28. DOI : 10.1109/PRIME.2015.7251085.

Accurate Power Analysis for Near-Vt RRAM-based FPGA

X. Tang; P-E. Gaillardon; G. De Micheli 

2015. 25th International Conference on Field-programmable Logic and Applications (FPL), London, UK, September 2-4, 2015.

Towards Functionality-Enhanced Devices: Controlling the Modes of Operation in Three-Independent-Gate Transistors (invited)

P-E. Gaillardon; J. Zhang; M. De Marchi; G. De Micheli 

2015. 10th IEEE Nanotechnology Materials and Devices Conference (NMDC), Anchorage, Alaska, USA, September 13-16, 2015.

A Surface Potential and Current Model for Polarity-Controllable Silicon Nanowire FETs

J. Zhang; P-E. Gaillardon; G. De Micheli 

2015. 45th European Solid-State Device Conference (ESSDERC), Graz, Austria, September 14-18, 2015. DOI : 10.1109/ESSDERC.2015.7324710.

FPGA-SPICE: A Simulation-based Power Estimation Framework for FPGAs

X. Tang; P-E. Gaillardon; G. De Micheli 

2015. 33rd IEEE International Conference on Computer Design (ICCD), New York, New York, USA, October 18-21, 2015. p. 696-703. DOI : 10.1109/ICCD.2015.7357183.

Design and Benchmarking of Hybrid CMOS-Spin Wave Device Circuits Compared to 10nm CMOS

O. Zografos; B. Sorée; A. Vaysset; S. Cosemans; L. Amarù et al. 

2015. 15th International IEEE Conference on Nanotechnology (NANO), Rome, Italy, July 27-30, 2015.

On the Design of a Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors

H. Ghasemzadeh; P-E. Gaillardon; J. Zhang; G. De Micheli; E. Sanchez et al. 

2015. IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Montpellier, France, July 8-10, 2015. p. 491-496. DOI : 10.1109/ISVLSI.2015.13.

Reliable Redundancy with Memristive-Biosensors to achieve Statistical Significance in Immunosensing

A. Lotfi; D. Demarchi; F. Puppo; G. De Micheli; S. Carrara et al. 

2015. 6th IEEE International Workshop on Advances in Sensors and Interfaces (IWASI), Gallipoli, Italy, June 18-19, 2015.

E-Health: From Sensors to Systems

G. De Micheli 

2015. Transducers 2015, Anchorage, Alaska, June 21-25, 2015. p. 3-6. DOI : 10.1109/TRANSDUCERS.2015.7180846.

Assessment of Image Quality vs. Computation Cost for Different Parameterizations of Ultrasound Imaging Pipelines

A. Ibrahim; A. Simalatsar; S. Skalistis; F. Angiolini; M. Arditi et al. 

2015. 6th Workshop on Medical Cyber-Physical Systems, Seattle, WA, USA, April 14th, 2015.

NEM Relay Design with Biconditional Binary Decision Diagrams

W. Haaswijk; L. Amarù; P-E. Gaillardon; G. De Micheli 

2015. IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH ’15), Boston, Massachusetts, USA, July 8-10, 2015. p. 45-50. DOI : 10.1109/NANOARCH.2015.7180585.

Exploiting Circuit Duality to Speed Up SAT

L. Amaru; P-E. Gaillardon; A. Mishchenko; M. Ciesielski; G. De Micheli 

2015. IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Montpellier, France, July 8-10, 2015. p. 101-106. DOI : 10.1109/ISVLSI.2015.18.

The EPFL Combinational Benchmark Suite

L. Amarù; P-E. Gaillardon; G. De Micheli 

2015. 24th International Workshop on Logic & Synthesis (IWLS), Mountain View, California, USA, June 12-13, 2015.

Exploiting the Expressive Power of Graphene Reconfigurable Gates via Post-Synthesis Optimization

S. Miryala; V. Tenace; A. Calimera; E. Macii; M. Poncino et al. 

2015. 25th Great Lakes Symposium on VLSI (GLSVLSI), Pittsburgh, Pennsylvania, USA, May 20-22, 2015. p. 39-44. DOI : 10.1145/2742060.2742098.

A Study on Buffer Distribution for RRAM-based FPGA Routing Structures

S. Rahimian Omam; X. Tang; P-E. Gaillardon; G. De Micheli 

2015. 6th IEEE Latin American Symposium on Circuits and Systems (LASCAS 2015), Montevideo, Uruguay, February 24-27, 2015. p. 1-4. DOI : 10.1109/LASCAS.2015.7250433.

Book Chapters

Electronic systems for health management

G. De Micheli 

Handbook of Bioelectronics: Directly Interfacing Electronics and Biological Systems; Cambridge University Press, 2015. p. 543-549.

CNT and proteins for bioelectronics in personalized medicine

A. Cavallini; C. Boero; G. De Micheli; S. Carrara 

Hand Book of Bioelectronics: Directly Interfacing Electronics and Biological Systems; Cambridge University Press, 2015. p. 109-121.

Low Power FPGAs Based on Resistive Memories

X. Tang; S. Rahimian Omam; P. Meinerzhagen; P-E. Gaillardon; G. De Micheli 

Reconfigurable Logic: Architecture, Tools and Applications; CRC Press, 2015. p. 399-432.

Multiple-Independent-Gate Nanowire Transistors: From Technology to Advanced SoC Design

P-E. Gaillardon; J. Zhang; L. Amarù; G. De Micheli 

Nano-CMOS and Post-CMOS Electronics: Devices and Modeling; The Institution of Engineering and Technology (IET), 2015.

Please note that you can download a pdf version of the article you are interested in, by clicking the “Full Text” link.

Publications before 2005

To access the list of publications before 2005, please click here.