Julia Dushina, Mike Benjamin, Daniel Geist. Semi-Formal Test Generation for a Block of Industrial DSP. In 19th IEEE VLSI Test Symposium (VTS 2001), Test and Diagnosis in a Nanometric World, 29 April - 3 May 2001, Marina Del Rey, CA, USA. pages 131-137, IEEE Computer Society, 2001. [doi]
Abstract is missing.