Digital Design & Comp Arch - Lecture 6c: Verification & Testing (Spring 2023)

Lecture 6c: Verification & Testing
Date: March 16, 2023

Recommended Reading:
====================
Intelligent Architectures for Intelligent Computing Systems

A Modern Primer on Processing in Memory

RowHammer: A Retrospective

RECOMMENDED LECTURE VIDEOS & PLAYLISTS:
========================================
Computer Architecture Fall 2021 Lectures Playlist:

Computer Architecture Fall 2022 Lectures Playlist:

Digital Design and Computer Architecture Spring 2022 Livestream Lectures Playlist:

Digital Design and Computer Architecture Spring 2021 Livestream Lectures Playlist:

Featured Lectures:

Interview with Professor Onur Mutlu:

The Story of RowHammer Lecture:

Accelerating Genome Analysis Lecture:

Memory-Centric Computing Systems Tutorial at IEDM 2021:

Intelligent Architectures for Intelligent Machines Lecture:

Computer Architecture Fall 2020 Lectures Playlist:

Digital Design and Computer Architecture Spring 2020 Lectures Playlist:

Public Lectures by Onur Mutlu, Playlist:

Computer Architecture at Carnegie Mellon Spring 2015 Lectures Playlist:

Rethinking Memory System Design Lecture @stanfordonline :

[paulbird]

0:05 Part 3: Circuit Verification
4:46 Part 4: Functional Verification
5:43 Testbench-Based Functional Testing
9:55 Simple Testbench
11:44 Self-Checking Testbench
17:16 Automatic Testbench
22:09 Part 5: Timing Verification
25:42 Meeting Timing Constraints

[rjScubaSki]

I wonder if something like TLA+ could be used for defining the golden model, verifying it, and generating test patterns via its usual state space exploration. Obviously not possible for every state in realistic circuits