erila_WRTLT10

Checking Pipelined Distributed Global Properties for Post-silicon Debug

Erik Larsson

Bart Vermeulen

Kees Goossens

Workshop on RTL ATPG & DFT (WRTLT10), Shanghai, China, December 2010.

ABSTRACT

[LVG10] Erik Larsson, Bart Vermeulen, Kees Goossens, "Checking Pipelined Distributed Global Properties for Post-silicon Debug", Workshop on RTL ATPG & DFT (WRTLT10), Shanghai, China, December 2010.

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan (v3.1, p5.2, September-2002-)