Lectures related to Logic synthesis

Automatic Optimization of Arithmetic Circuits

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

Field Programmable Gate Arrays (FPGAs)

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

Logic Synthesis with B-Conditional BDDs

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

How we design chips: The Digital VLSI Design Flow

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

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.

Hardware Description Languages

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

FPGA Architecture: LUT and Routing Arrays

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

Logic Synthesis: Designing Efficient Digital Circuits

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

Digital Design: Lowerbounds and Recommendations

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

Synchronous Digital Circuits: Principles and Design

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

Quantum and Nanocomputing

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

Logic Gates and Hazard Elimination

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

Ambipolar Devices: Logic Circuit Design Paradigms

Explores ambipolar devices for new logic circuit design paradigms.

Logic Design: Basic Rules and Shannon's Expansion

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

More VHDL for Synthesis: Sequential Statements & Processes

Explores VHDL for synthesis, emphasizing sequential statements and processes.

Boolean Optimization: MIGs and Majority Gates

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

Factored Representations: Planning Efficiency

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

Digital Integrated Circuits: Evolution and Design

Covers the evolution of digital integrated circuits, market demands impact, modern IC functionalities, microprocessors history, and Moore's law.

High-Level Synthesis: Formally Verified Elastic Circuits

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

Logic Systems: Karnaugh Maps and TTL Gates

Explores Karnaugh maps, TTL gates, analog aspects of digital logic, and prime implicants.