Atalanta-M

Description

Atalanta-M is a modified ATPG tool and fault simulator, originally comming from VirginiaTech University.
This tool has been modified so to support several more features. For details see the Download section.

Netlist formats supported: BENCH
Generates a test detecting s-a faults, for all the faults or for only specified ones
Performs three-valued fault simulation

Referencs to original Atalanta, FSIM and HOPE

H.K. Lee and D.S. Ha, "Atalanta: an Efficient ATPG for Combinational Circuits,", Technical Report, 93-12, Dep't of Electrical Eng., Virginia Polytechnic Institute and State University, Blacksburg, Virginia, 1993.

H.K. Lee and D.S. Ha, "An efficient forward fault simulation algorithm based on the parallel pattern single fault propagation," Proc. Int. Test Conf., pp. 946-955, October 1991.

H. K. Lee and D. S. Ha, "HOPE: An Efficient Parallel Fault Simulator for Synchronous Sequential Circuits," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, pp. 1048-1058, September 1996.