Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Timing and Performance Analysis: Model Checking

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Scheduling Mechanisms: Context Switching and Policies Log in to Mediaspace to watch this video

Explains the mechanisms and policies of operating system scheduling, focusing on context switching and preemption.

Dependable Architectures and Software Log in to Mediaspace to watch this video

Explores dependable architectures, error detection, fault-tolerant structures, and software reliability through examples like the Patriot Missile failure and ABB dual controller.

Rescuing Data Center Processors Log in to Mediaspace to watch this video

Explores challenges and solutions for data center processors, focusing on efficiency, cache issues, branch prediction, and architectural optimizations.

Understanding Simultaneous Multithreading in Modern Processors Log in to Mediaspace to watch this video

Covers simultaneous multithreading, its implementation, and its impact on processor performance.

Coordination and Scheduling Log in to Mediaspace to watch this video

Explores coordination and scheduling in operating systems, covering lost wakeup problems, scheduling algorithms, and coordination primitives like sleep and wakeup.

Finite State Machines (FSMs)Log in to Mediaspace to watch this video

Explores Finite State Machines (FSMs) in digital system design, covering Mealy and Moore FSMs, state diagrams, VHDL implementation, and state encoding.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Concept Selection and Tradespace Exploration Log in to Mediaspace to watch this video

Covers decision analysis, concept selection methods, non-dominance, and optimization in system design.

Performance: Hardware and Software Optimization Log in to Mediaspace to watch this video

Explores the evolution of performance metrics in computing, emphasizing the impact of hardware and software optimization.

Pipelining Log in to Mediaspace to watch this video

Explores pipelining in processors, covering stages, hazards, and solutions for efficient execution.

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.

Page 2 of 2