Publication

New Data Structures and Algorithms for Logic Synthesis and Verification

Related publications (204)

Graph Chatbot

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.

Full wafer integration of NEMS on CMOS by nanostencil lithography

Jürgen Brugger, Marc Antonius Friedrich van den Boogaart

Wafer scale nanostencil lithography is used to define 200 nm scale mechanically resonating silicon cantilevers monolithically integrated into CMOS circuits. We demonstrate the simultaneous patterning of ~2000 nanodevices by post-processing standard CMOS wa ...

2006

Design methodology based on the analog blocks retargeting from bulk to FD SOI using EKV model

Maher Kayal

This paper presents a methodology of a basic analog blocks retargeting from bulk to fully depleted (FD) SOI technology. The design methodology is generally not related to the model used for the circuit simulations. However, the proposed one is closely link ...

2006

SOI mixed-mode design techniques and case studies

Marija Blagojevic

Since the emergence of Silicon On Insulator (SOI) technology the research activities have been concentrated on a detailed analysis of SOI devices and their use in different application fields (low-voltage, low-power circuits, high temperature electronics, ...

EPFL2005

Hybrid CMOS-SET devices and circuits

Santanu Mahapatra

The quickening pace of the MOSFET technology scaling has pushed the MOSFET dimension towards 10 nanometer channel length, where it is going to face the following fundamental and performance limiting factors: (i) electrostatic limits, (ii) source to drain t ...

EPFL2004

Analog and Mixed-Signal Modelling with SystemC-AMS

Alain Vachoux

SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This paper introduces concepts for the extension of the SystemC methodology for the ...

2003

Oscillatory Spin-Filtering due to Gate Control of Spin-Dependent Interface Conductance

Dirk Grundler

Using the Landauer-Büttiker formalism, we study ballistic transport properties of an interface between a ferromagnetic metal and a mesoscopic two-dimensional electron system in a III-V semiconductor. We show that in a Sharvin point contact spin-filtering o ...

2001

Automatic design tool for submicron current steering logic libraries

Maher Kayal

Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance mixed-signal integrated systems. In mix ...

2000

Optically programmable gate array

Demetri Psaltis

The Optically Programmable Gate Array (OPGA), an optical version of a conventional FPGA, benefits from a direct parallel interface between an optical memory and a logic circuit. The OPGA utilizes a holographic memory accessed by an array of VCSELs to progr ...

Spie-Int Soc Optical Engineering, Po Box 10, Bellingham, Wa 98227-0010 Usa2000

Mixed Logic Dynamical Model of a Hydroelectric Power Plant

Giancarlo Ferrari Trecate

In this work we present the model of a hydroelectric power plant in the framework of Mixed Logic Dynamical (MLD) systems. Each outflow unit exhibits a hybrid behavior since flaps, gates and turbines are controlled with logical inputs and the outflow dynami ...

2000

Synthesis and Optimization of Digital Circuits

Giovanni De Micheli

This graduate textbook in computer engineering offers a modern, up-to-date look at computer aided design of VLSI circuits at the functional and logic level by addressing an interesting topic in CAD for digital circuits: design synthesis of detailed specifi ...

McGraw Hill1994