VIS: Verification Interacting with

Why Formal DesignVerification?

Why VIS?

Overview of VIS

This Course

Availability of VIS

Outline of Course

A Simple Example

Simple Example

PP Presentation

VERILOG description

PP Presentation

Client Protocol

Arbiter Behavior

PP Presentation

Getting to Know VIS: Lab Exercise

Getting to Know VIS: Lab Exercise

Some Commands You Will Need

Some Things You Need to Know

read_blif

PP Presentation