Title :
Design verification and robust design technique for cross-talk faults
Author :
Paul, Bipul C. ; Choi, Seung-Hoon ; Im, Yonghee ; Roy, Kaushik
Author_Institution :
Sch. of Electr. & Comput. Eng., Purdue Univ., West Lafayette, IN, USA
Abstract :
A recently proposed noise model to measure the dynamic noise immunity of high speed circuits is adopted to verify a design for cross-talk faults. We also define a qualitative measure of delay fault immunity of a circuit. Design of a precharge-evaluate circuit was verified using this model and a number of nodes, which are susceptible to cross-talk faults were identified. Finally, we propose a new array based layout architecture namely, O2ABA (optimized overlaying array based architecture) to improve performance predictability of a circuit through cross talk reduction. A 4-bit full adder circuit was implemented using both standard cell design and O2ABA. It is observed that the circuit implemented using O2ABA is significantly less sensitive to delay faults than its standard cell design counterpart
Keywords :
VLSI; adders; cellular arrays; crosstalk; formal verification; high-speed integrated circuits; integrated circuit modelling; integrated circuit noise; logic CAD; logic arrays; 4 bit; O2ABA; crosstalk faults; delay fault immunity; design verification; dynamic noise immunity; full adder circuit; high speed circuits; noise model; optimized overlaying array based architecture; performance predictability; precharge-evaluate circuit; robust design technique; standard cell design; Circuit faults; Circuit noise; Coupling circuits; Crosstalk; Delay; Noise level; Noise measurement; Noise robustness; Noise shaping; Very large scale integration;
Conference_Titel :
Test Symposium, 2001. Proceedings. 10th Asian
Conference_Location :
Kyoto
Print_ISBN :
0-7695-1378-6
DOI :
10.1109/ATS.2001.990325