Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Logic synthesis

Related lectures (27)

Automatic Optimization of Arithmetic Circuits

Explores automatic optimization of arithmetic circuits, addressing challenges in restructuring circuits for improved efficiency and performance.

Logic Synthesis with B-Conditional BDDs

Explores the efficiency of B-Conditional BDDs for logic synthesis using double gate controllable polarity FETs.

Reactive Anticipatory Robot Skills with Memory

Explores reactive anticipatory robot skills with memory for fast adaptation to changing objectives through time-correlations and memory feedback.

Ambipolar Devices: Logic Circuit Design Paradigms

Explores ambipolar devices for new logic circuit design paradigms.

High-Level Synthesis: Formally Verified Elastic Circuits

Presents the development of a verified high-level synthesis compiler for elastic circuits.

Synthesis Strategies: Tamiflu

Covers the synthesis strategies for the active ingredient of Tamiflu, focusing on retrosynthesis and regioselective openings.

Complex Logic Architectures with CNT Technology

Explores the design of complex logic architectures using carbon nanotube technology and showcases the high configurability of the proposed logic gates.

Field Programmable Gate Arrays (FPGAs)Log in to Mediaspace to watch this video

Covers the basic principles and architecture of Field Programmable Gate Arrays (FPGAs) and their implementation options for digital circuits.

How we design chips: The Digital VLSI Design Flow Log in to Mediaspace to watch this video

Explores the principles and methodologies for designing integrated circuits, covering design flows, VLSI styles, abstraction levels, and the semiconductor ecosystem.

Hardware Description Languages Log in to Mediaspace to watch this video

Explores the history and significance of Hardware Description Languages in automating design processes and describing parallel hardware.

FPGA Architecture: LUT and Routing Arrays Log in to Mediaspace to watch this video

Explores FPGA architecture, including LUTs and routing arrays, scalability, and placement challenges.

Logic Synthesis: Designing Efficient Digital Circuits Log in to Mediaspace to watch this video

Discusses logic synthesis techniques for designing efficient digital circuits from functional descriptions and truth tables.

Digital Design: Lowerbounds and Recommendations Log in to Mediaspace to watch this video

Covers abstraction levels, EPFL design flow, lowerbounds, and layout recommendations.

Synchronous Digital Circuits: Principles and Design Log in to Mediaspace to watch this video

Covers principles of synchronous RTL design, custom digital circuits, Y-Diagram visualization, signal classes, and hierarchy management.

Quantum and Nanocomputing Log in to Mediaspace to watch this video

Covers quantum and nanocomputing, focusing on molecules as conductive elements, molecular transistors, and field coupling elements.

Logic Gates and Hazard Elimination Log in to Mediaspace to watch this video

Explores logic gates, hazard elimination, ALUs, counters, and shift registers in semiconductor technology.

Logic Design: Basic Rules and Shannon's Expansion Log in to Mediaspace to watch this video

Covers basic rules of logic design and Shannon's expansion in Boolean functions.

More VHDL for Synthesis: Sequential Statements & Processes Log in to Mediaspace to watch this video

Explores VHDL for synthesis, emphasizing sequential statements and processes.

Boolean Optimization: MIGs and Majority Gates Log in to Mediaspace to watch this video

Explores Boolean function optimization using Majority-Inverter Graphs and Majority Gates, including algebraic rules and exact synthesis.

Factored Representations: Planning Efficiency Log in to Mediaspace to watch this video

Explores factored representations for planning, focusing on reducing complexity and improving efficiency through separate feature modeling.