FATE: a Functional ATPG to Traverse Unstabilized EFSMs

  • Authors:

  • Giuseppe Di Guglielmo;Franco Fummi;Cristina Marconcini;Graziano Pravadelli

  • Affiliations:

  • Universita di Verona, Italy;Universita di Verona, Italy;Universita di Verona, Italy;Universita di Verona, Italy

  • Venue:
  • ETS '06 Proceedings of the Eleventh IEEE European Test Symposium
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper describes a functional ATPG that explores the DUT state space by exploiting an easy-to-traverse extended FSMmodel. The ATPG engine relies on learning, backjumping and constraint logic programming to deterministically generate test vectors for traversing all transitions of the EFSM.