Robust scan synthesis for protecting soft errors
A method for performing robust scan synthesis for soft-error protection on a design for generating a robust scan design in a system. The system is modeled selectively at a register-transfer level (RTL) or a gate level; the design includes at least a sequential element or a scan cell for mapping to a robust scan cell of a select robust scan cell type. The method comprises performing a scan replacement and a scan stitching on the design database based on a given control information file for synthesizing the robust scan cell on the design database; and generating the synthesized robust scan design at a pre-determined RTL or a pre-determined gate level.
1. A method for performing a robust scan synthesis for soft-error resilience or soft-error correction on a design for generating a robust scan design in a system; the design modeled selectively at a register-transfer level (RTL) or a gate level; the design including at least a sequential element or a scan cell for mapping to a robust scan cell; the method comprising the computer-implemented steps of:
(a) compiling, by using a computer, the design modeled at the RTL or the gate level into a design database;
(b) accepting a given control information file from an external source;
(c) performing a scan replacement on the design database based on the given control information file for replacing the sequential element or the scan cell with the robust scan cell;
(d) performing a scan stitching on the design database based on the given control information file for stitching the robust scan cell on the design database;
(e) generating the synthesized robust scan design at a pre-determined RTL or a pre-determined gate level; and
(f) performing a test generation after the scan stitching for generating test patterns to detect select structural or delay manufacturing faults, wherein the structural manufacturing faults include stuck-at, stuck-open, bridging, or Iddq faults, and wherein the delay manufacturing faults include transition or path-delay faults.
2. The method of claim 1 , wherein accepting a given control information file from an external source further includes a mapping of a scan cell type to a robust scan cell type, and selectively a mapping of a combinational cell type to a hardened combinational cell type.
3. The method of claim 2 , wherein performing a scan replacement on the design database based on the given control information file further comprises replacing a select combinational cell of the combinational cell type with a hardened combinational cell of the hardened combinational cell type.
4. The method of claim 1 , wherein the robust scan cell further includes a system circuit, a shadow circuit, and an output joining circuit; wherein the system circuit includes at least a first latch; the shadow circuit includes at least a second latch; and the output joining circuit selectively includes at least one transmission gate, a C-element, an XOR gate, an error detection circuit, or a triple modular redundancy (TMR) circuit.
5. The method of claim 4 , wherein the first latch is selectively a system flip-flop or a pulse latch; and wherein the system circuit selectively includes a scan chain.
6. The method of claim 4 , wherein the shadow circuit is selectively a scan portion or a scanout portion, wherein the scan portion includes at least a duplicate of the system circuit, and the scanout portion includes at least a duplicate of the system circuit.
7. The method of claim 4 , wherein the robust scan cell further includes a debug circuit, wherein the debug circuit includes at least a third latch, and includes at least a duplicate of the system circuit.
8. The method of claim 1 , further comprising performing selectively a logic synthesis, a scan synthesis, or a combination of a logic synthesis and a scan synthesis on the design modeled at the RTL.
9. The method of claim 1 , further comprising performing a scan synthesis on the design modeled at the gate level.
10. The method of claim 1 , further comprising performing a scan reordering after the scan replacement or the scan stitching for ordering the robust scan cells, based on a given scan instance order or a given layout coordinate file.
11. The method of claim 1 , further comprising performing a scan extraction after the scan stitching to verify whether the robust scan cells are connected correctly.
12. The method of claim 1 , further comprising performing a scan verification after the scan stitching for generating testbenches to verify whether the robust scan design meets the design's functional and timing requirements.
13. The method of claim 1 , further comprising performing a scan selection before the scan replacement for selectively selecting a set of sequential elements, a set of scan cells, a set of combinational cells, or any combination of the above sets that result in a pre-determined reduction in soft error rate in the design.
14. The method of claim 13 , further comprising performing a soft error rate (SER) analysis before the scan selection for estimating the cell-level soft error rates of select sequential elements, scan cells, and combinational cells in the design.
15. The method of claim 1 , wherein the robust scan cell is a reconfigured BISER cell, a reconfigured triple modular redundancy (TMR) cell, or a user-selected scan cell.
16. The method of claim 1 , wherein the robust scan cell is adapted for performing a soft-error resilience, a soft-error correction, a basic scan testing for structural faults, a basic scan testing for delay faults, an enhanced scan testing for delay faults, a functional testing using slow-speed snapshot, a functional testing using at-speed signature analysis, a functional testing using slow-speed signature analysis, a functional testing using at-speed signature analysis that generates cell parity, a functional testing using slow-speed signature analysis that generates cell parity, a defect tolerance, or any combination of the above operations.