1. Midterm Exam ReviewCopyright 2006 - Joanne DeGroat, ECE, OSU1 Verification Project 2 Rubric for Plan/Report

2. Midterm Exam ReviewCopyright 2006 - Joanne DeGroat, ECE, OSU2 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.

3. 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 ReviewCopyright 2006 - Joanne DeGroat, ECE, OSU3

4. 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 ReviewCopyright 2006 - Joanne DeGroat, ECE, OSU4

5. 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 ReviewCopyright 2006 - Joanne DeGroat, ECE, OSU5

6. 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 ReviewCopyright 2006 - Joanne DeGroat, ECE, OSU6