Verification Project 2
Rubric for Plan/Report
Midterm Exam Review
Copyright 2006 - Joanne DeGroat, ECE, OSU
1
Rubric

These are the general points that should be
addressed in the verification plan.

Description of what is being verified




The fault tolerant adder
Package fbit_logic
Package fsim_logic
For verification of each of these you do not
necessarily have a single test bench. For this
project it is probably best to have a series of
test benches.
Midterm Exam Review
Copyright 2006 - Joanne DeGroat, ECE, OSU
2
Verification of fbit



Overview of the package
Verify the functional correctness of the
package.
Verify and characterize the error injection
ability of the package. Create test(s) that will
insure that the distribution of error injection is
random.
Midterm Exam Review
Copyright 2006 - Joanne DeGroat, ECE, OSU
3
Verification of fsim



Overview of the package
Verify the functional correctness of the
package.
Verify and characterize the error injection
ability of the package. Create test(s) that will
insure that the distribution of error injection is
random.
Midterm Exam Review
Copyright 2006 - Joanne DeGroat, ECE, OSU
4
Verification of the SEC/DED adder





Were given a counter that helps significantly
in effort.
Verify the counter (easy).
Verify the adder with no error injection.
Verify adder with only a few errors in an
exhaustive run.
Verify the adder with several errors injected
during the same length run.
Midterm Exam Review
Copyright 2006 - Joanne DeGroat, ECE, OSU
5
Definition of success

Needs to formally define how you will know
the verification tasks is completed.

The report will detail implementation of the
plan and the results from execution of the
work.
The presentation will do the same.

Midterm Exam Review
Copyright 2006 - Joanne DeGroat, ECE, OSU
6