Design Validation: Formal Verification vs. Simulation vs. Functional Testing. - Bernd Koenemann; J. Monzel; T. Powell; N. Saxena; K. Wagner (VTS, 1996)

BIST: Advantages or Limitations? - Bernd Koenemann; J. Monzel; T. Powell; N. Saxena; K. Wagner (VTS, 1996)