Digital Design Verification (CS-0147)

Fall 2023 · CS 0147 · Tufts University · 3 credits · Undergraduate

Verification of digital hardware designs at the Register-Transfer Level (RTL) using System Verilog. Types of verification: formal vs. simulation-based; random vs. targeted; full-chip vs. unit-level; pre-silicon vs. post-silicon. Standardized frameworks: Universal Verification Methodology (UVM). Assertion-based checking, equivalence checking. Prerequisites: EE 25 or EE 126 or graduate standing.

Course codes: CS-0147, CS 0147, CS0147, CS-147, CS 147, CS147, EE-0165, EE 0165, EE0165, EE-165, EE 165, EE165

Course Discovery