72 Result(s)
within
Chapter
Giovanni De Micheli
-
Chapter
External Don’t Cares in Logic Synthesis
Don’t-care conditions are flexibilities in logic networks that can be used to optimize networks by re-expressing incompletely specified Boolean functions. Don’t cares may arise from the internal structure of t...
-
Chapter
Effect of O2− Migration in Pt/HfO2/Ti/Pt Structure
In this paper, we study the post-fabrication phenomenon of natural oxidation of the Ti layer observed in a Pt/HfO2/Ti/Pt resistive random access memory (OxRRAM) stack with no external influence. We identify that ...
-
Chapter
Exact Synthesis of ESOP Forms
We present an exact synthesis approach for computing Exclusive-or Sum-of-Products (ESOP) forms with a minimum number of product terms using Boolean satisfiability. Our approach finds one or more ESOP forms for a ...
-
Chapter
Memristive Biosensors for Ultrasensitive Diagnostics and Therapeutics
The coupling of memristive effect with biological interactions results in innovative nanobiosensors with high performance in both diagnostics and therapeutics. Silicon nanowire arrays exhibiting a memristive e...
-
Chapter
Introduction
Nano-Tera.ch is a landmark Swiss federal program to advance engineering system and device technologies with applications to Health and the Environment, including smart Energy generation and consumption. The name
-
Chapter
Memory Effects in Multi-terminal Solid State Devices and Their Applications
We give a general overview on Silicon nanowire-based multi-terminal memristive devices. The functionality of the devices can be used for logic, memory and sensing applications. It is shown that three- and four...
-
Chapter
Health Monitoring
Health management and monitoring has been one of the focal areas in the Nano-Tera program. Nano-Tera funded healthcare projects have targeted many issues that can be thematically categorized in four distinct c...
-
Chapter
Smart Energy
Energy is a central concern that affects system design, society and the economy. The need for new sources of power, renewable and sustainable energy supplies, and smart cities is creating immense challenges al...
-
Chapter
Projects
In this chapter, we present the full list, including all partners and key references, of three main types of projects:
-
Chapter and Conference Paper
Evaluating ESOP Optimization Methods in Quantum Compilation Flows
Exclusive-or sum-of-products (ESOP) expressions are used as intermediate representations in quantum circuit synthesis flows, and their complexity impacts the number of gates of the resulting circuits. Many sta...
-
Chapter
Functionality-Enhanced Devices: From Transistors to Circuit-Level Opportunities
Complementary metal-oxide-semiconductor (CMOS) field-effect transistors (FETs) have been the fundamental brick for the development of modern micro-electronics since their introduction in the 1970s. Complementa...
-
Chapter
Environmental Monitoring
Within Nano-Tera first phase the objectives of the research on environmental monitoring included checking the quality of air and water, by measuring pollution in terms of biological and/or inorganic compounds;...
-
Chapter
Impact Analysis
In this chapter, we specifically address the impact of the Nano-Tera program as a whole. After its almost 10-year run, this provides an overall analysis of main achievements of the program. We describe the impact...
-
Chapter and Conference Paper
SAT-based {CNOT, T} Quantum Circuit Synthesis
The prospective of practical quantum computers has lead researchers to investigate automatic tools to program them. A quantum program is modeled as a Clifford+T quantum circuit that needs to be optimized in order...
-
Chapter and Conference Paper
Paradigm-Shifting Players for IoT: Smart-Watches for Intensive Care Monitoring
Wearable devices, e.g. smart-watches, are gaining popularity in many fields and in wellness monitoring too. In this paper we propose an IoT application to alert the medical doctor assigned to a critical unit by u...
-
Chapter and Conference Paper
Enumeration of Reversible Functions and Its Application to Circuit Complexity
We review combinational results to enumerate and classify reversible functions and investigate the application to circuit complexity. In particularly, we consider the effect of negating and permuting input and...
-
Chapter and Conference Paper
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT
Two Boolean functions are NPN equivalent if one can be obtained from the other by negating inputs, permuting inputs, or negating the output. NPN equivalence is an equivalence relation and the number of equival...
-
Chapter and Conference Paper
SAT-Based Combinational and Sequential Dependency Computation
We present an algorithm for computing both functional dependency and unateness of combinational and sequential Boolean functions represented as logic networks. The algorithm uses SAT-based techniques from Combina...
-
Chapter
Carbon Nanomaterials for Electrochemical and Electrochemiluminescent Medical Sensors
Electrochemical detection is one of the most powerful techniques in sensing applications, in particular for biomedical sensors. Its combination with carbon-based materials gives several advantages in terms of ...
-
Chapter
Memory Effects in Multi-terminal Solid State Devices and Their Applications
We give a general overview on Silicon nanowire-based multi-terminal memristive devices. The functionality of the devices can be used for logic, memory and sensing applications. It is shown that three- and four...
