Lectures related to Electronic system-level design and verification

Robust Systems: Emerging Technologies and User Experience

Explores Professor Subashish Mitra's research on robust systems and pressing issues in ICT, emphasizing the importance of understanding the entire system for innovative solutions.

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 Verification using High-Level Design Languages

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

Automatic Optimization of Arithmetic Circuits

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

Electromagnetic Simulation in Design Technology

Discusses the importance of electromagnetic simulation in design technology and compares entrepreneurship approaches between Silicon Valley and Europe.

René Beuchat's Academic Journey

Explores René Beuchat's academic and professional journey, teaching activities, collaborations, retirement plans, and personal interests.

Semicustom RTL Design: Frontend with Synthesis

Covers the fundamentals of VLSI design, focusing on the semi-custom design flow.

Concrete Bridges: Stability and Piles

Discusses the design of bearing slabs and the stability of piles in concrete bridges.

Basic Synchronous Digital Circuits and RTL Design

Covers pulse generation, edge detection, common design mistakes, and clock/reset signals in logic circuits.

Hardware Description Languages

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

Simulation-Based Verification

Explores simulation-based verification in VLSI systems using compiled-code and event-driven algorithms.

Semicustom RTL Design: Design Flow and Standard Cells

Explores the RTL design flow, chip-level integration, standard cells, and static timing analysis in VLSI design.

Static Analysis: Modeling Structural Behavior

Covers static analysis and the importance of accurate structural modeling in engineering.

Energy-Efficient Data Centers

Explores the YINZ project's innovative solutions to reduce energy consumption in data centers through interdisciplinary collaborations and cutting-edge technologies.

Synchronous Digital Circuits: Principles and Design

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

VLSI: Energy Dissipation in Semiconductor Components

Covers energy dissipation in VLSI chips, focusing on subthreshold current in NMOS transistors and the effects of threshold voltage on power consumption.

Semicustom RTL Design: Backend

Explores the backend design flow in semicustom ASIC design, covering layout, clock tree generation, and tapeout preparation.

MOS Structures: Charge Dynamics and Circuit Design

Covers MOS structures, charge dynamics, and the design of CMOS circuits.

High-Level Synthesis: Formally Verified Elastic Circuits

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

VHDL for Synthesis

Covers basic VHDL constructs for RTL design, including arithmetic, multiplexers, registers, and instantiation.