Title :
Fast false path identification based on functional unsensitizability using RTL information
Author :
Yoshikawa, Yuki ; Ohtake, Satoshi ; Inoue, Tomoo ; Fujiwara, Hideo
Author_Institution :
Grad. Sch. of Inf. Sci., Hiroshima City Univ., Hiroshima
Abstract :
In this paper, we propose a method for identifying false paths based on functional unsensitizability of path delay faults. By using RTL structural information, a number of gate level paths are bound into an RTL path and the bundle of them can be identified in a reasonable amount of time. The identified false paths are useful for over-testing reduction caused by DFT techniques, such as scan design, and also area and performance optimization of circuits during logic synthesis. Experimental results show that our proposed method can identify false paths in a few seconds for several benchmarks.
Keywords :
fault diagnosis; integrated circuit testing; integrated memory circuits; RTL Information; fast false path identification; functional unsensitizability; logic synthesis; over-testing reduction; path delay faults; register transfer level; Circuit faults; Circuit optimization; Circuit synthesis; Circuit testing; Clocks; Delay estimation; Fault diagnosis; Information science; Registers; Sufficient conditions;
Conference_Titel :
Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific
Conference_Location :
Yokohama
Print_ISBN :
978-1-4244-2748-2
Electronic_ISBN :
978-1-4244-2749-9
DOI :
10.1109/ASPDAC.2009.4796555