1 / 33

ECE 753

Spring 2014. ECE 753. H ardware Implementation of Self-checking circuits on FPGA. Project Team #1 Chandru Loganathan Sakshi Gupta Vignesh Chandrasekaran. 8 th May 2014. Structure of the Talk. Motivation and Introduction Totally self-checking circuits and Reconfiguration logic

jerom
Download Presentation

ECE 753

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Spring 2014 ECE 753 Hardware Implementation of Self-checking circuits on FPGA Project Team #1 ChandruLoganathan Sakshi Gupta Vignesh Chandrasekaran 8th May 2014

  2. Structure of the Talk Motivation and Introduction Totally self-checking circuits and Reconfiguration logic Less than or equal to checker Non increasing sorting checker Range checker Residue checker Future scope

  3. Introduction • In a Totally Self-checking Circuit (TSC), if there is a fault in the inputs and/or within the TSC itself, the system no longer functions as desired. • If any of the input is faulty, then the TSC brings the complete system to halt. Having a reconfiguration logic can leverage that. • Reconfiguration logic allows the system to function properly in presence of at most two faults. • Motivation of this project is to make the most of the available hardware without having to compromise on the fault tolerance of the output.

  4. Basic Definitions • A circuit is said to be fault secure if in the presence of a fault, the output is either always correct, or not a code word for valid input code words. • A circuit is said to be self-testing if only valid inputs can be used to test it for faults. • A circuit is said to be totally self-checkingif it is both fault secure and self-testing.

  5. Totally Self-checking Checker (TSC) A TSC has 4 inputs and 2 outputs Hence, 4 possible output combinations are possible (00, 11, 01, 10)

  6. Totally Self-checking Checker (TSC) Two-rail checker

  7. Totally Self-checking Checker (TSC) Multi-bit TSC * denotes a two-rail self-checker circuit

  8. Reconfiguration Logic When there is a fault in any one of the inputs or in the TSC itself, then the system halts. In order, to prolong system halt we introduce Reconfiguration Logic. If a non-code word (00 or 11) output is detected from the TSC, then the Reconfiguration Logic Enable(logic high) signal is triggered. Now, the reconfiguration logic identifies the faulty line and masks it. New x0, y0, x1, y1 values are computed and fed into a multiplexer. The multiplexer selects between the new values and old values of x0, y0, x1, y1and outputs the final values of x0, y0, x1, y1.

  9. Reconfiguration Logic Algorithm for Reconfiguration logic

  10. TSC with Reconfiguration Logic Block Diagram

  11. TSC with Reconfiguration Logic Analytical comparison Without reconfiguration logic With reconfiguration logic

  12. Implementation Analysis

  13. Non-increasing sorting checker • There are three types of errors encountered in sorting algorithm: • Functional error: Operands are incorrectly ordered • Data error: One or more bits of the operands are changed • Hybrid error: Where both functional and data errors occur simultaneously • LTOETC compares two consecutive non-negative numbers and checks if they are in correct order.

  14. LTOETC • Suppose two non-negative numbers N1 and N2 are represented as x1,x2,…,xk and y1,y2,…,yk. • X1 = x2,…,xk and Y1 = y2,…,yk • Valid input code space: • x1y1 = 00 and X1 ≥ Y1 • x1y1 = 11 and X1 ≥ Y1 • x1y1 = 10 and X1 ≥ Y1 • x1y1 = 10 and X1 < Y1 Above code space denotes that N1 ≥ N2 and the output of LTOETC block must be a valid codeword.

  15. LTOETC Block Diagram Reference: D.L. Tao, “A Self-Testing Non-increasing Order Checker”, IEEE Transactions on Computers, Vol. 46, No. 7, pp. 817-820, July 1997.

  16. LTOETC Input code space

  17. LTOETC Properties • LTOETC is code disjoint: • Different inputs follow different output routes. • LTOETC is self-testing: • Each functional block receives all necessary test vectors. Hence, it is fully tested during normal operation. • Fault in each functional block will be excited which therefore generates a non-code-word at o1o2 of LTOETC

  18. Non-increasing sorting checker Block Diagram Reference: D.L. Tao, “A Self-Testing Non-increasing Order Checker”, IEEE Transactions on Computers, Vol. 46, No. 7, pp. 817-820, July 1997. Implemented a design which detects only functional errors in ordered set of inputs. Considered 5 input numbers in order

  19. Non-increasing sorting checker Simulation • Inputs when in non-increasing order generate a valid code word • Functional error in sorting order generates non-code word, i.e., o1o2 = 11

  20. Range Checker Block Diagram The checker circuit detects whether the input lies within a specified range. Input out of bound generates a non-code word, i.e., o1o2 = 11 Input within the range generates a valid code word

  21. Range Checker Simulation • Input value for the first set of upper and lower range generates valid code word. • Input value when out of range for the second case generates non-code word.

  22. Implementation Analysis

  23. Residue Checker Based on the idea of computing the residue of a given function for a given modulo and comparing it against the residue obtained by computing the same function broken down by modulo arithmetic. Property 1: <X+Y>m = < <X>m + <Y>m >m Property 2: <X.Y>m = < <X>m* <Y>m >m Consider a multiple-accumulate (MAC) unit of a processor which computes the following function: Z = A*B+C

  24. Residue Checker Block Diagram <Z >m = <A*B+C>m <Z’>m = <<<A>m*<B>m>m+<C>m>m Reference: S.Wei and K.Shimizu, “Error Detection of Arithmetic Circuits Using a Residue Checker with Signed-Digit Number System”, IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pp. 72-77, Oct. 2001

  25. Residue Checker Modulo Checker • Modulo checkers can be implemented in several ways in hardware. • 2n Modulo checker • Bit select the lower n bits of the applied input. • Hardware conservative. • Lesser combinational delay. • General modulo checker • Residue for any value of modulo. • Demands more hardware compared to the earlier method. • Relatively slower clock rate.

  26. Residue Checker Performance matrix • Hardware utilization for each of the implementation is different. • As the value of modulo increases, the hardware utilization increases. • Hardware utilization is the measure of the number of LUTs utilized on the FPGA. • Hardware complexity can be expressed as function of modulo. • Timing.

  27. Residue Checker Hardware Complexity: 2n Modulo checker • HC(m) = 4.2814ln(m) + 5.275

  28. Residue Checker Hardware Complexity: General modulo checker • HC(m) = 27.319ln(m) + 186.95

  29. Residue Checker Mix of both designs • Multiplex both and choose according to Modulo. • This hybrid is ideally suited for various application.

  30. Implementation details • Design was implemented on Xilinx Spartan 6 XUPV5LX110T FPGA • Synthesis was done with Xilinx ISE 14.7 • Simulation was done using ModelSim • Debugging was done using ChipScopePro.

  31. Future Scope • Reconfiguration logic • Can be introduced in all hardware redundant circuits. • Can be scaled to every design. • Must be made fault secure

  32. Questions?

  33. Thank you

More Related