Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Software Disasters and Successes: Verification Impact and Transition Systems
Graph Chatbot
Related lectures (30)
Keylock in VHDL and on FPGA
Log in to Mediaspace to watch this video
Covers the design of a KeyLock system in VHDL, focusing on the FSM implementation for key validation and LED indication.
Finite State Machine (Door Lock)
Log in to Mediaspace to watch this video
Covers the design of a Finite State Machine for a door lock system and explains the Moore FSM model with key validation and LED indicators.
FSM Design and Synthesis
Log in to Mediaspace to watch this video
Explains the design and synthesis of Finite State Machines in logic systems.
Formally Verified Chisel Designs
Log in to Mediaspace to watch this video
Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.
Spelling Error Correction
Log in to Mediaspace to watch this video
Explores spelling error correction, including neologisms and borrowings, using edit distance and finite-state automata.
Basic Pipelining
Log in to Mediaspace to watch this video
Explores basic pipelining in circuits, enhancing throughput by splitting jobs into sub-parts.
Hierarchical Control in Robotics
Log in to Mediaspace to watch this video
Explores hierarchical control concepts in robotics, including switching, prioritizing, and information chains, to achieve complex robot behaviors.
Arbiter FSM & FPGA Implementation
Log in to Mediaspace to watch this video
Covers the design of an Arbiter FSM in VHDL for digital system design, emphasizing access timing management.
Digital Systems: Flip-Flops, Registers, and Counters
Log in to Mediaspace to watch this video
Provides an overview of flip-flops, registers, and counters in digital systems.
Lexicons, n-grams and Language Models
Log in to Mediaspace to watch this video
Explores lexicons, n-grams, and language models, emphasizing their importance in recognizing words and the effectiveness of n-grams for various tasks.
Previous
Page 2 of 2
Next
