Lectures related to Finite State Machines (FSMs)

Covers the design of an Arbiter FSM in VHDL for digital system design, emphasizing access timing management.

Logic Systems: Sequential and Combinatorial Circuits

Covers fundamental concepts of logic systems, including sequential and combinatorial circuits, state diagrams, and finite state machines.

Digital Systems: Finite State Machines Overview

Covers finite state machines, their types, structures, and practical applications in digital systems.

Finite State Machines: Design and Analysis Techniques

Provides an overview of finite state machines, covering their design, analysis, and practical applications in digital systems.

Formally Verified Chisel Designs

Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.

From Algorithms to Architectures

Explores the transition from algorithms to hardware architectures in digital system design, covering isomorphic architectures, VHDL implementation, and hardware efficiency metrics.

Introduction au VHDL

Covers VHDL basic concepts, program structure, objects, types, operators, literals, and arrays.

Digital Logic Circuits: CMOS and Verilog Design

Discusses digital logic circuits, CMOS technology, and Verilog for circuit design.

Digital Logic Circuits: CMOS and Verilog Modeling

Discusses digital logic circuits, focusing on CMOS technology and Verilog modeling techniques.

VHDL for Synthesis

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

FPGA Programming with Speedgoat: Real-Time Signal Processing

Focuses on implementing a square function generator using Speedgoat FPGA technology and real-time signal processing techniques.

Finite State Machines: Medvedev vs. Moore vs. Mealy

Compares Medvedev, Moore, and Mealy FSM models and their structures.

Digital Systems Design: Course Overview

Covers the organization, focus, methodology, and tools used in designing digital systems.

Field Programmable Gate Arrays (FPGAs)

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

Finite State Machines: Basics and Design

Introduces finite state machines, covering basics, design, and practical applications like decoders and encoders.

High-Level Synthesis: Formally Verified Elastic Circuits

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

Digital Logic Circuits: Memory and Decoder Fundamentals

Provides an overview of digital logic circuits, focusing on memory systems and binary decoders, including their operation and access protocols.

VHDL for Simulation & Testbenches

Explores VHDL for simulation, debugging, time modeling, event-based simulation, and testbench creation in digital system design.

Programmable Logic Devices: PAL, GAL, CPLD

Covers PAL, GAL, CPLD, and the transition to FPGAs using HDLs.

Keylock in VHDL and on FPGA

Covers the design of a KeyLock system in VHDL, focusing on the FSM implementation for key validation and LED indication.