DIGITAL SYSTEM EXAMPLES FOR VERIFICATION

Design Problems

1. Easy Design Problems

   1. Sequential Multiplier (Controller type) based on Counting Up and Down.
   2. Greatest Common Divider.
   3. Smallest Common Multiplier.
   4. Fibonacci Sequence Generator.
   5. Sorting Resistors to Classes.
   6. Black Jack Machine.
   7. Tickets and Change Giving Machine.
      several versions.
   8. Programmable Digital Waveform Generator.
   9. Digital FIR Filter.
   10. Digital IIR Filter.

2. Medium Complexity Design Problems

   1. Sequential Multiplier (Controller type) based on Shifts and Additions.
      several versions.
   2. Combination Multiplier based on Iterative Circuit.
   3. Combination Multiplier based on Two-Dimensional Iterative Circuit (Shift and Add).
   4. Parallel State Machine to Delay Pulses.
   5. CRPD (Central Registration and Processing of Data).
   6. Systolic Realization of Faddeev Algortihm for Matrix Multiplication.
   7. Galois Logic Transform Based on Fast Fourier and Walsh Transform Ideas.

3. More Challenging Design Problems

   1. Satisfiability Machine.
   2. Sorting/Absorbing Machine.
   3. Hough Transform Processor.
   4. Machine for Constructive Induction approach to Machine Learning.
   5. Cube Calculus Machine for solving combinational problems.
      all the above "More Challenging" projects will be in the book.