An efficient method is described for using fault simulation as a solution to the diagnostic
problem created by the presence of embedded memories in BIST designs. The
simulation is event-table-driven. Special techniques are described to cope with the faults
in the Prelogic, Postlogic, and the logic embedding the memory control or address
inputs. It is presumed that the memory itself has been previously tested, using automatic
test pattern generation (ATPG) techniques via the correspondence inputs, and has been
found to be fault-free.