ElasticMiter: Formally Verified Dataflow Circuit Rewrites

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

We propose, fabricate, and experimentally demonstrate a circuit based on graphene field-effect transistors (GFETs) showing enhanced negative differential resistance (NDR) characteristics at room temperature. The proposed graphene NDR (GNDR) circuit consist ...

We establish a general method to bridge the gap between full-field electromagnetic calculations and equivalent lumped circuit elements to describe the optical response of plasmonic nanostnictures. The exact value of each lumped element is extracted from on ...

The paper proposes a novel method for the optimal parameter selection of the discrete-time switch model used in circuit solvers that adopt the Fixed Admittance Matrix Nodal Method (FAMNM) approach. As known, FAMNM-based circuit solvers allow to reach effic ...

This paper deals with a combined analytical-numerical approach for the study of the steady-state and transient behaviour of three-phase transformers. This approach based on magnetic equivalent circuits, takes into account the nonlinear B-H curve. The nonli ...

ElasticMiter: Formally Verified Dataflow Circuit Rewrites

Chat with Graph Search

Graphene Negative Differential Resistance Circuit With Voltage-Tunable High Performance at Room Temperature

Quantitative Extraction of Equivalent Lumped Circuit Elements for Complex Plasmonic Nanostructures

A Novel Method for the Optimal Parameter Selection of Discrete-Time Switch Model

Combined Analytical-Numerical Approach for the Modeling and Analysis of Threephase Transformers