A5047355764- Low-power high-performance VLSI design
- Formal Methods in Verification
- Analog and Mixed-Signal Circuit Design
- VLSI and Analog Circuit Testing
- Electromagnetic Compatibility and Noise Suppression
- Embedded Systems Design Techniques
- Algorithms and Data Compression
- Genomics and Phylogenetic Studies
- Genome Rearrangement Algorithms
- Logic, programming, and type systems
- Radiation Effects in Electronics
- DNA and Biological Computing
- Electrostatic Discharge in Electronics
- Advanced Memory and Neural Computing
- VLSI and FPGA Design Techniques
- Advanced biosensing and bioanalysis techniques
- semigroups and automata theory
- Semiconductor materials and devices
- Radio Frequency Integrated Circuit Design
- Neuroscience and Neural Engineering
- Advancements in Semiconductor Devices and Circuit Design
- Animal Genetics and Reproduction
- Chemical Synthesis and Analysis
- Advanced Algebra and Logic
- Photonic and Optical Devices
University of Milan
2015-2024
Istituto Nazionale di Fisica Nucleare, Sezione di Milano
2023-2024
Istituto Nazionale di Fisica Nucleare, Sezione di Pavia
2024
Institut polytechnique de Grenoble
2019
Université Grenoble Alpes
2019
Techniques of Informatics and Microelectronics for Integrated Systems Architecture
2019
University of Pisa
2013
Information Technology University
2004-2010
Between January and October of 2020, the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) virus has infected more than 34 million persons in a worldwide pandemic leading to over one deaths (data from Johns Hopkins University). Since begun spread, emergency departments were busy with COVID-19 patients for whom quick decision regarding in- or outpatient care was required. The can cause characteristic abnormalities chest radiographs (CXR), but, due low sensitivity CXR, additional...
Single-photon sources are important for integrated photonics and quantum technologies, can be used in key distribution, computing, sensing. Color centers the solid state a promising candidate development of next generation single-photon devices. They point defects crystal lattice that absorb emit light at given wavelengths single photons with high efficiency. The landscape color has changed abruptly recent years, identification wider set emergence new solid-state platforms room-temperature...
The perfect phylogeny is an often used model in phylogenetics since it provides efficient basic procedure for representing the evolution of genomic binary characters several frameworks, such as example haplotype inference. model, which conceptually simplest, based on infinite sites assumption, that no character can mutate more than once whole tree. A main open problem regarding finding generalizations retain computational tractability original but are flexible modeling biological data when...
Since the 1980s, researchers have taken giant steps in understanding how to use quantum mechanics for solving real problems—for example, making a computer that works according laws of mechanics. In recent decades, tried develop platform information and computation can be integrated into digital telecom technologies without need cryogenic environment. The current status research field photonics will reviewed. A review most common photonic platforms given, together with main achievements...
We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward output while minimizing area. A specific application is synthesis for minimum switching activity (or high performance), area penalty, where decompositions respect variables are needed (the ones of highest example). In this paper we describe new types factorization that extend Shannon cofactoring and projection functions change Hamming distance original minterms...
In this paper we propose a novel approach to the synthesis of minimal-sized lattices, based on decomposition logic functions. Since allows obtain circuits with smaller area, our idea is decompose Boolean functions separate according P-circuits scheme, and then implement decomposed blocks physically separated regions in single lattice. Experimental results show that about 35% considered benchmarks achieve area when implemented using proposed for switching an average gain at least 24%.
We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward output while minimizing area. A specific application is synthesis for minimum switching activity (or high performance), area penalty, where decompositions respect variables are needed (the ones of highest example). In this paper we describe new types factorization that extend Shannon cofactoring and projection functions change Hamming distance original minterms...
In this paper we study the switching lattice synthesis of a special class regular Boolean functions called D-reducible functions. are whose points completely contained in an affine space A strictly smaller than whole cube {0, 1} <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</sup> . The D-reducibility function f can be exploited process: idea is to independently find implementations for characteristic subspace and projection onto A, compose...
In this paper we study the problem of characterizing and exploiting complete flexibility a special logic architecture, called P-circuits, which realize Boolean function by projecting it onto overlapping subsets given generalized Shannon decomposition. P-circuits are used to restructure pushing some signals towards outputs. The algorithms proposed so far for structural do not guarantee find best implementation, because they cast as minimization an incompletely specified function. Instead,...
Integrated photonic platforms have rapidly emerged as highly promising and extensively investigated systems for advancing classical quantum information technologies, since their ability to seamlessly integrate components within the telecommunication band with existing silicon-based industrial processes offers significant advantages. However, despite this integration facilitating development of novel devices, fostering fast reliable communication protocols manipulation information,...
The perfect phylogeny is one of the most used models in different areas computational biology. In this paper we consider problem Persistent Perfect Phylogeny (referred as P-PP) recently introduced to extend model allowing persistent characters, that characters can be gained and lost at once. We define a natural generalization P-PP obtained by requiring for some pairs (character, species), neither species nor any its ancestors have character. other words, cannot species. This new called...
Multi-terminal switching lattices are typically exploited for modeling nano-crossbar arrays that lead to the design and construction of emerging nanocomputers. In this paper we propose a lattice optimization method special class "regular" Boolean functions, called autosymmetric functions. Autosymmetry is property frequent enough within functions be interesting in synthesis process. Each function can synthesized through new (called restriction), depending on less variables with smaller...
In this paper, we present a model to derive statistical properties of digital noise due logic transitions gates in fully CMOS combinational circuit. Switching activity system is deterministic process, depending on both circuit parameters and input signals. However, the huge number blocks complex IC makes switching cognitively stochastic process. For network, can currents as stationary shot processes, deriving their amplitude distributions power spectral densities. From spectra currents, also...
Generalized Shannon decomposition with remainder restructures a logic function into subsets of points defined by the generalized cofactors remainder, yielding three blocks. EXOR-Projected Sums Products (EP-SOPs) are an important form such decomposition. In this paper we propose Boolean synthesis technique for EP-SOPs, more general than algebraic methods investigated so far. We exploit don't care conditions induced structure implementation, casting minimum area as problem relation...
In this paper, we discuss generation of digital switching noise and its propagation through substrate interconnection parasitics. Effects on analog voltage references radio-frequency blocks are presented. Both simulated measured results confirmed that crosstalk effects strongly dependent package type. Isolation strategies must be specifically designed for a mixed-signal chip, as they could even worse if not properly accounting values
The notion of a Persistent Phylogeny generalizes the well-known Perfect phylogeny model that has been thoroughly investigated and is used to explain wide range evolutionary phenomena. More precisely, while allows each character be acquired once in entire history losses are not allowed, both lost exactly history. Problem (PPP) problem reconstructing tree, if it exists, from binary matrix where rows represent species (or individuals) studied columns characters can have. While linear-time...
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage supplies. A simple expression and in the pull-up pull-down a logic gate is derived, representation digital switching noise time domain can be easily calculated through dedicated computer program. used perform analog using SPICE, evaluate propagation parasitic elements package bonding wires. Simulation results two case...
This paper presents an approach for simulation of mixed-signal CMOS integrated circuits, aiming at estimating crosstalk effects, by identifying possible sources disturbances in analog-digital systems, such as current pulses drawn from voltage supplies. A simple expression and the pull-up pull-down a logic gate can be derived. computer program demonstrates feasibility proposed approach, representation digital switching noise frequency domain has been