Concept

Switching circuit theory

Publications associées (10)

Digital Design with Implicit State Machines

Martin Odersky, Aleksandar Prokopec, Fengyun Liu

Claude Shannon, in his famous thesis (1938), revolutionized circuit design by showing that Boolean algebra subsumes all ad-hoc methods that are used in designing switching circuits, or combinational circuits as they are commonly known today. But what is ...

2020

End-to-End Industrial Study of Retiming

Giovanni De Micheli, Cunxi Yu, Maciej Jerzy Ciesielski

Sequential circuits are combinational circuits that are separated by registers. Retiming is considered as the most promising technique for optimizing sequential circuits, that involves moving the edge-triggered registers across the combinational logic with ...

IEEE2018

EU COST Action IC1401-Pushing the Frontiers of Memristive Devices to Systems

Sandro Carrara

European Union COST Actions provide the opportunity for researchers who are geographically dispersed to work together towards an ambitious, multidisciplinary goal, whilst learning from each other and avoiding effort duplication. This paper gives a brief ov ...

Ieee2016

Precise error determination of approximated components in sequential circuits with model checking

Mathias Soeken, Arun Chandrasekharan

Error metrics are used to evaluate the quality of an approximated circuit or to trade-off several approximated candidates in design exploration. Precisely determining the error or all approximated circuit is a hard problem since the errors accumulate over ...

ACM/IEEE2016

Low Power Wake-up Receiver

Lorenz Flavio Schmid

With more devices becoming mobile, power consumption of communication becomes crucial. Wake-up receivers present an energy-ecient way of detecting incoming transmissions while at the same time the main radio can be fully powered down. After detection the r ...

2014

On Synthesis for Unbounded Bit-vector Arithmetic

Viktor Kuncak, Andrej Spielmann

We propose to describe computations using QFPAbit, a language of quantifier-free linear arithmetic on unbounded integers with bitvector operations. Given a QFPAbit formula with input and output variables, we describe an algo- rithm that generates an effici ...

2012

Numerical electromagnetic analysis methods and its applications to surge phenomena

Mario Paolone, Carlo Alberto Nucci

Full-wave numerical electromagnetic analysis (NEA) methods are defined as methodologies allowing the direct numerical solution of Maxwell's equations in both frequency and time domain. These methods are becoming the most promising approach to study complex ...

IEEE2011

Inferring connection proximity in networks of electrically coupled cells by subthreshold frequency response analysis

Henry Markram, Thomas Berger, Michele Giugliano, Corrado Cali, Michele Pignatelli

Electrical synapses continuously transfer signals bi-directionally from one cell to another, directly or indirectly via intermediate cells. Electrical synapses are common in many brain structures such as the inferior olive, the subcoeruleus nucleus and the ...

Springer US2008

Compensation des non-linéarités des systèmes haut-parleurs à pavillon

Delphine Bard

The assumptions of linearity and autonomy assumed in circuit theory are known to be respected only partially by electroacoustic transducers. In particular, the dynamics range of the latter is limited by the audible nonlinear effects that they are causing. ...

EPFL2005

Design and analysis techniques for dynamic current mirrors

Today's world of electronics becomes more and more digital and therefore CMOS becomes the dominant technology. A CMOS process compared to a bipolar process offers several advantages, mainly a low power consumption which is important for portable systems po ...

EPFL1990

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search