Title: Incremental diagnosis in digital VLSI circuits
First published: 2003