Formally Verified Chisel Designs

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Finite State Machines: Basics and Design

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

Logic Systems: Finite State Machines

Explores Boolean algebra, optimization, sequential systems, and finite state machines design.

Digital Systems Design: Course Overview

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

High-Level Synthesis: Formally Verified Elastic Circuits

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

Digital Logic Circuits: CMOS and Verilog Design

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

Finite State Machines: Medvedev vs. Moore vs. Mealy

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

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.

Logic Gates and Hazard Elimination

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

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.

Digital Circuits: Logic Basics

Introduces digital circuits, covering binary systems, logic operators, Boolean algebra, memory elements, and practical examples like BCD decoders and shift registers.

Page 2 of 2